Details

Time bar (total: 17.8s)

sample100.0ms

Algorithm
intervals
Results
52.0ms78×body10240exit
19.0ms282×body80valid
5.0ms11×body640valid
4.0ms6×body1280valid
1.0ms3×body320valid
0.0ms2×body160valid

simplify17.0ms

Counts
1 → 1
Iterations
IterNodes
done23
323
219
112
08

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (log (+ 1.0 (exp x))) (* x y))
0.0b
(+ 1.0 (exp x))
0.3b
(log (+ 1.0 (exp x)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
8×add-sqr-sqrt log-prod add-cube-cbrt
6×pow1 add-log-exp
4×log-div fma-neg prod-diff associate--l+ add-exp-log
3×expm1-log1p-u fma-def flip3-+ add-cbrt-cube log-pow flip-+ log1p-expm1-u distribute-lft-out
2×associate--l-
1×+-commutative sum-log sub-neg flip3-- diff-log rem-log-exp flip--
Counts
3 → 62
Calls
3 calls:
20.0ms
(- (log (+ 1.0 (exp x))) (* x y))
31.0ms
(+ 1.0 (exp x))
8.0ms
(log (+ 1.0 (exp x)))

series188.0ms

Counts
3 → 9
Calls
3 calls:
84.0ms
(- (log (+ 1.0 (exp x))) (* x y))
13.0ms
(+ 1.0 (exp x))
91.0ms
(log (+ 1.0 (exp x)))

simplify2.2s

Counts
71 → 71
Iterations
IterNodes
done5000
31901
2619
1243
0105

prune413.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (fma 2 x x))
0.2b
(/ (fma 1.0 (* 1.0 1.0) (exp (fma 2 x x))) (fma 1.0 1.0 (* (- (exp x) 1.0) (exp x))))
0.3b
(log (/ (fma 1.0 (* 1.0 1.0) (exp (fma 2 x x))) (fma 1.0 1.0 (* (- (exp x) 1.0) (exp x)))))
4.7b
(- (exp x) 1.0)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt *-un-lft-identity
27×add-cube-cbrt
18×times-frac
13×log-prod
9×prod-diff add-exp-log
7×add-log-exp
6×add-cbrt-cube
5×pow1
4×expm1-log1p-u log1p-expm1-u
3×exp-prod associate-/r* fma-neg associate-/l*
2×div-exp rem-log-exp div-inv
1×cbrt-undiv log-div clear-num sub-neg frac-2neg flip3-- diff-log exp-sum log-pow fma-udef flip-- distribute-lft-out-- difference-of-squares rem-exp-log
Counts
4 → 97
Calls
4 calls:
3.0ms
(exp (fma 2 x x))
8.0ms
(/ (fma 1.0 (* 1.0 1.0) (exp (fma 2 x x))) (fma 1.0 1.0 (* (- (exp x) 1.0) (exp x))))
9.0ms
(log (/ (fma 1.0 (* 1.0 1.0) (exp (fma 2 x x))) (fma 1.0 1.0 (* (- (exp x) 1.0) (exp x)))))
9.0ms
(- (exp x) 1.0)

series399.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(exp (fma 2 x x))
120.0ms
(/ (fma 1.0 (* 1.0 1.0) (exp (fma 2 x x))) (fma 1.0 1.0 (* (- (exp x) 1.0) (exp x))))
242.0ms
(log (/ (fma 1.0 (* 1.0 1.0) (exp (fma 2 x x))) (fma 1.0 1.0 (* (- (exp x) 1.0) (exp x)))))
24.0ms
(- (exp x) 1.0)

simplify2.4s

Counts
109 → 109
Iterations
IterNodes
done5001
32607
2893
1396
0194

prune775.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (log (fma x (fma 0.5 x 1.0) 2.0)) (* x y))
8.8b
(log (fma x (fma 0.5 x 1.0) 2.0))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt log-prod *-un-lft-identity add-cube-cbrt
5×pow1
4×fma-neg prod-diff
3×associate--l+ add-exp-log log-pow add-log-exp
2×expm1-log1p-u add-cbrt-cube log1p-expm1-u
1×sub-neg flip3-- diff-log rem-log-exp flip--
Counts
2 → 39
Calls
2 calls:
13.0ms
(- (log (fma x (fma 0.5 x 1.0) 2.0)) (* x y))
2.0ms
(log (fma x (fma 0.5 x 1.0) 2.0))

series309.0ms

Counts
2 → 6
Calls
2 calls:
185.0ms
(- (log (fma x (fma 0.5 x 1.0) 2.0)) (* x y))
124.0ms
(log (fma x (fma 0.5 x 1.0) 2.0))

simplify2.9s

Counts
45 → 45
Iterations
IterNodes
done5000
32327
2690
1249
0101

prune281.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize90.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* x y) (* x y))
0.7b
(* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
0.7b
(* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
15.6b
(/ (- (* (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (log (+ 1.0 (exp x)))) (* (* (* x y) (* x y)) (* x y))) (+ (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1.0 (exp x))) (* x y)))))

rewrite597.0ms

Algorithm
rewrite-expression-head
Rules
69×pow1
37×*-un-lft-identity
29×add-sqr-sqrt
25×add-cube-cbrt
22×add-cbrt-cube add-exp-log
19×pow-prod-down
16×log-prod
13×swap-sqr
12×times-frac log-pow
10×prod-exp cbrt-unprod
9×associate-*r* associate-*l*
8×distribute-rgt-in distribute-lft-in pow3
6×pow-sqr pow-prod-up
4×expm1-log1p-u difference-cubes pow-plus log1p-expm1-u distribute-lft-out associate-/l* add-log-exp
3×pow2 associate-/r* *-commutative
2×associate-/r/ unswap-sqr associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-sub div-exp flip-+ div-inv flip--
Counts
4 → 154
Calls
4 calls:
40.0ms
(* (* x y) (* x y))
29.0ms
(* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
29.0ms
(* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
490.0ms
(/ (- (* (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (log (+ 1.0 (exp x)))) (* (* (* x y) (* x y)) (* x y))) (+ (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1.0 (exp x))) (* x y)))))

series680.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(* (* x y) (* x y))
134.0ms
(* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
110.0ms
(* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
397.0ms
(/ (- (* (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (log (+ 1.0 (exp x)))) (* (* (* x y) (* x y)) (* x y))) (+ (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1.0 (exp x))) (* x y)))))

simplify2.0s

Counts
166 → 166
Iterations
IterNodes
done5003
21837
1507
0185

prune768.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes98.0ms

Accuracy

0% (0.3b remaining)

Error of 0.5b against oracle of 0.2b and baseline of 0.5b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done18
118
016

end0.0ms

sample3.4s

Algorithm
intervals
Results
2.2s2504×body10240exit
615.0ms8461×body80valid
125.0ms124×body1280valid
101.0ms253×body640valid
44.0ms189×body320valid
16.0ms100×body160valid