Details

Time bar (total: 32.3s)

sample33.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
8.0ms304×body80nan
0.0ms1×body160valid

simplify24.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (110.0ms)

IterNodesCost
01012
12112
26212
318312
454211
5106911
6171311
7238711
8261111
9272911
10304911
11326111
12345011
13367511
14393211
15397811
16399811
done399811

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (- (fma (log y) (+ y 0.5) z) y))
0.1b
(- (fma (log y) (+ y 0.5) z) y)
0.1b
(fma (log y) (+ y 0.5) z)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
35×add-sqr-sqrt
33×prod-diff
25×add-cube-cbrt
12×associate--r+
10×add-log-exp
7×distribute-lft-out--
6×fma-neg
5×difference-of-squares
4×diff-log
3×pow1 add-exp-log expm1-log1p-u sub-neg add-cbrt-cube fma-udef log1p-expm1-u
2×flip3-- associate--l+ flip--
1×associate--r-
Counts
3 → 88
Calls
3 calls:
11.0ms
(- x (- (fma (log y) (+ y 0.5) z) y))
7.0ms
(- (fma (log y) (+ y 0.5) z) y)
0.0ms
(fma (log y) (+ y 0.5) z)

series142.0ms

Counts
3 → 9
Calls
3 calls:
50.0ms
(- x (- (fma (log y) (+ y 0.5) z) y))
51.0ms
(- (fma (log y) (+ y 0.5) z) y)
41.0ms
(fma (log y) (+ y 0.5) z)

simplify762.0ms

Counts
97 → 97
Iterations

Useful iterations: done (759.0ms)

IterNodesCost
01702426
14021917
211511689
done50001590

prune257.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (* (+ y 0.5) (log y)))
0.0b
(- (+ (- x (* (+ y 0.5) (log y))) y) z)
0.1b
(+ (- x (* (+ y 0.5) (log y))) y)
0.2b
(* (+ y 0.5) (log y))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
39×*-un-lft-identity
26×add-sqr-sqrt
22×add-cube-cbrt
20×add-log-exp
18×prod-diff
12×log-prod
7×pow1 fma-neg distribute-lft-out
6×add-exp-log distribute-rgt-in distribute-lft-in diff-log add-cbrt-cube associate--r+
5×associate-+l+
4×expm1-log1p-u associate-*r* associate-*l* sum-log log1p-expm1-u
3×sub-neg fma-def
2×associate-+l- flip3-- flip3-+ associate-*l/ flip-- flip-+ distribute-lft-out--
1×+-commutative associate--l- pow-prod-down prod-exp associate--l+ log-pow *-commutative cbrt-unprod difference-of-squares unswap-sqr
Counts
4 → 117
Calls
4 calls:
3.0ms
(- x (* (+ y 0.5) (log y)))
67.0ms
(- (+ (- x (* (+ y 0.5) (log y))) y) z)
10.0ms
(+ (- x (* (+ y 0.5) (log y))) y)
11.0ms
(* (+ y 0.5) (log y))

series390.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(- x (* (+ y 0.5) (log y)))
60.0ms
(- (+ (- x (* (+ y 0.5) (log y))) y) z)
46.0ms
(+ (- x (* (+ y 0.5) (log y))) y)
245.0ms
(* (+ y 0.5) (log y))

simplify844.0ms

Counts
129 → 129
Iterations

Useful iterations: done (841.0ms)

IterNodesCost
02121986
15311749
216761552
done50011523

prune334.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (log (cbrt y)) (+ y 0.5))
0.2b
(- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity
11×add-cube-cbrt
9×add-log-exp
7×pow1
6×add-exp-log cbrt-prod associate-*r/ prod-diff add-cbrt-cube
5×associate-*l* associate--l+
4×expm1-log1p-u associate-*r* frac-sub log1p-expm1-u
3×flip3-- flip3-+ fma-neg pow1/3 diff-log flip-- flip-+
2×distribute-rgt-in sub-neg distribute-lft-in log-pow associate--r+
1×associate--l- pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
4 → 86
Calls
4 calls:
10.0ms
(* (log (cbrt y)) (+ y 0.5))
16.0ms
(- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))
0.0ms
(cbrt y)
1.0ms
(cbrt y)

series937.0ms

Counts
4 → 12
Calls
4 calls:
462.0ms
(* (log (cbrt y)) (+ y 0.5))
94.0ms
(- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))
188.0ms
(cbrt y)
191.0ms
(cbrt y)

simplify877.0ms

Counts
98 → 98
Iterations

Useful iterations: 2 (249.0ms)

IterNodesCost
01761674
14981486
220621228
done50001228

prune381.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.5 (* 3 y))
0.1b
(+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)
0.3b
(* (log (cbrt y)) (+ 1.5 (* 3 y)))
0.6b
(cbrt y)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity
11×add-log-exp
10×add-cube-cbrt
7×pow1
6×add-exp-log fma-def add-cbrt-cube
5×associate-+l+ associate-*l*
4×expm1-log1p-u log1p-expm1-u
3×cbrt-prod flip3-+ associate-*r* prod-diff sum-log flip-+
2×+-commutative pow1/3 associate-*r/ log-pow
1×distribute-rgt-in associate-+l- sub-neg distribute-lft-in diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
4 → 79
Calls
4 calls:
2.0ms
(+ 1.5 (* 3 y))
14.0ms
(+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)
8.0ms
(* (log (cbrt y)) (+ 1.5 (* 3 y)))
1.0ms
(cbrt y)

series808.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(+ 1.5 (* 3 y))
99.0ms
(+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)
484.0ms
(* (log (cbrt y)) (+ 1.5 (* 3 y)))
190.0ms
(cbrt y)

simplify817.0ms

Counts
91 → 91
Iterations

Useful iterations: done (814.0ms)

IterNodesCost
01381066
1372941
21225844
done5000807

prune317.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes156.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
11312
done1312

end0.0ms

sample816.0ms

Algorithm
intervals
Results
274.0ms8035×body80valid
214.0ms8186×body80nan