Details

Time bar (total: 29.7s)

sample36.0ms

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

simplify21.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (103.0ms)

IterNodesCost
01012
12112
26212
318312
454011
5105311
6169711
7234611
8256511
9268311
10291411
11312811
12331611
13355011
14378611
15383211
16385211
done385211

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.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)

rewrite19.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))
4.0ms
(- (fma (log y) (+ y 0.5) z) y)
0.0ms
(fma (log y) (+ y 0.5) z)

series154.0ms

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

simplify667.0ms

Counts
97 → 97
Iterations

Useful iterations: done (664.0ms)

IterNodesCost
01702426
13941917
211391689
done50001590

prune277.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize11.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))

rewrite103.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:
4.0ms
(- x (* (+ y 0.5) (log y)))
70.0ms
(- (+ (- x (* (+ y 0.5) (log y))) y) z)
11.0ms
(+ (- x (* (+ y 0.5) (log y))) y)
14.0ms
(* (+ y 0.5) (log y))

series436.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(- x (* (+ y 0.5) (log y)))
69.0ms
(- (+ (- x (* (+ y 0.5) (log y))) y) z)
53.0ms
(+ (- x (* (+ y 0.5) (log y))) y)
268.0ms
(* (+ y 0.5) (log y))

simplify859.0ms

Counts
129 → 129
Iterations

Useful iterations: done (855.0ms)

IterNodesCost
02121986
15271749
216691552
done50011523

prune372.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize16.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)

rewrite31.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:
11.0ms
(* (log (cbrt y)) (+ y 0.5))
16.0ms
(- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.0s

Counts
4 → 12
Calls
4 calls:
521.0ms
(* (log (cbrt y)) (+ y 0.5))
105.0ms
(- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))
207.0ms
(cbrt y)
211.0ms
(cbrt y)

simplify895.0ms

Counts
98 → 98
Iterations

Useful iterations: 2 (255.0ms)

IterNodesCost
01761674
14981486
220531228
done50001228

prune408.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity add-log-exp
9×add-cube-cbrt
7×pow1
6×add-exp-log add-cbrt-cube
5×associate-+l+ associate-*l*
4×expm1-log1p-u fma-def 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 → 77
Calls
4 calls:
3.0ms
(+ (* 3 y) 1.5)
11.0ms
(+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)
12.0ms
(* (log (cbrt y)) (+ (* 3 y) 1.5))
1.0ms
(cbrt y)

series918.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(+ (* 3 y) 1.5)
116.0ms
(+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)
538.0ms
(* (log (cbrt y)) (+ (* 3 y) 1.5))
219.0ms
(cbrt y)

simplify827.0ms

Counts
89 → 89
Iterations

Useful iterations: done (824.0ms)

IterNodesCost
01371066
1373942
21214846
done5000809

prune292.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes150.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

sample844.0ms

Algorithm
intervals
Results
273.0ms8035×body80valid
228.0ms8186×body80nan