Details

Time bar (total: 58.1s)

sample194.0ms

Algorithm
intervals
Results
122.0ms183×body1280valid
18.0ms249×body80valid
17.0ms41×body640valid
6.0ms21×body320valid
1.0ms7×body160valid

simplify7.3s

Counts
1 → 1
Iterations
IterNodes
done5001
844997
834933
824869
814806
804741
794677
784613
774550
764485
754421
744357
734294
724229
714165
704101
694038
683973
673909
663845
653782
643717
633653
623589
613526
603461
593397
583333
573270
563205
553141
543077
533014
522949
512885
502821
492758
482693
472629
462565
452502
442437
432373
422309
412246
402181
392117
382053
371990
361925
351861
341797
331734
321669
311605
301541
291478
281413
271349
261285
251222
241157
231093
221029
21966
20901
19837
18773
17710
16645
15581
14515
13449
12385
11330
10243
9152
894
773
660
553
449
340
226
114
07

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.7b

localize82.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (exp x) 2.0)
3.5b
(+ (- (exp x) 2.0) (exp (- x)))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
20×add-sqr-sqrt
18×prod-diff
16×add-cube-cbrt
11×associate-+l+
9×add-log-exp
5×fma-def
4×frac-add
3×flip3-- fma-neg flip-- distribute-lft-out--
2×neg-sub0 exp-neg expm1-log1p-u pow1 sum-log sub-neg add-cbrt-cube exp-diff diff-log add-exp-log insert-posit16 log1p-expm1-u distribute-lft-out difference-of-squares
1×+-commutative flip3-+ associate-+l- flip-+
Counts
2 → 67
Calls
2 calls:
27.0ms
(- (exp x) 2.0)
143.0ms
(+ (- (exp x) 2.0) (exp (- x)))

series103.0ms

Counts
2 → 6
Calls
2 calls:
17.0ms
(- (exp x) 2.0)
86.0ms
(+ (- (exp x) 2.0) (exp (- x)))

simplify5.8s

Counts
73 → 73
Iterations
IterNodes
done5019
32812
2845
1296
0126

prune691.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize150.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) x)
0.1b
(* (* x x) x)
0.1b
(* (* (* x x) x) (* (* x x) x))
0.1b
(* (* x x) (* x x))

rewrite608.0ms

Algorithm
rewrite-expression-head
Rules
695×pow1
326×pow-prod-up
221×pow-plus
120×pow-prod-down
112×pow-sqr
70×pow2
62×add-cbrt-cube add-exp-log
41×prod-exp cbrt-unprod
24×pow3
8×add-sqr-sqrt associate-*r*
6×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*l* *-commutative insert-posit16 log1p-expm1-u add-log-exp
3×unswap-sqr
2×swap-sqr
Counts
4 → 322
Calls
4 calls:
57.0ms
(* (* x x) x)
88.0ms
(* (* x x) x)
308.0ms
(* (* (* x x) x) (* (* x x) x))
105.0ms
(* (* x x) (* x x))

series258.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* (* x x) x)
49.0ms
(* (* x x) x)
102.0ms
(* (* (* x x) x) (* (* x x) x))
55.0ms
(* (* x x) (* x x))

simplify16.9s

Counts
334 → 334
Iterations
IterNodes
done5088
34426
2795
1348
0116

prune905.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 2 expressions with local error:

0.0b
(- 2.0 (exp (- x)))
3.5b
(- (exp x) (- 2.0 (exp (- x))))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
34×add-sqr-sqrt
33×prod-diff
24×add-cube-cbrt
11×associate--r+
9×add-log-exp
7×distribute-lft-out--
6×fma-neg
5×difference-of-squares
4×diff-log
3×sub-neg
2×expm1-log1p-u pow1 flip3-- add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u flip--
1×associate--r-
Counts
2 → 78
Calls
2 calls:
36.0ms
(- 2.0 (exp (- x)))
118.0ms
(- (exp x) (- 2.0 (exp (- x))))

series120.0ms

Counts
2 → 6
Calls
2 calls:
21.0ms
(- 2.0 (exp (- x)))
98.0ms
(- (exp x) (- 2.0 (exp (- x))))

simplify5.6s

Counts
84 → 84
Iterations
IterNodes
done5000
32786
2816
1349
0151

prune587.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize162.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (exp x))
0.0b
(* (sqrt (exp (- x))) (sqrt (exp (- x))))
2.7b
(fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
2.8b
(+ (- (exp x) 2.0) (/ 1 (exp x)))

rewrite390.0ms

Algorithm
rewrite-expression-head
Rules
84×sqrt-pow1
79×exp-prod
70×*-un-lft-identity
60×add-sqr-sqrt
46×add-cube-cbrt
24×distribute-rgt-neg-in
20×distribute-lft-neg-in pow1
18×sqrt-prod
17×pow-prod-down pow-prod-up
15×pow-sqr
12×sqrt-div
11×associate-+l+
9×times-frac prod-diff add-log-exp
8×neg-mul-1 add-cbrt-cube pow1/2 swap-sqr
7×add-exp-log
6×neg-sub0 exp-neg exp-diff associate-*r* associate-*l*
5×fma-def
4×expm1-log1p-u frac-times insert-posit16 log1p-expm1-u pow-flip distribute-lft-out unswap-sqr
3×associate-/r* div-inv associate-/l* distribute-lft-out--
2×sum-log div-exp associate-*l/ frac-add associate-*r/
1×pow2 cbrt-undiv +-commutative rec-exp clear-num sub-neg rem-square-sqrt frac-2neg flip3-+ pow-plus flip3-- sqrt-unprod diff-log 1-exp prod-exp *-commutative associate-+l- cbrt-unprod flip-+ fma-udef flip-- inv-pow difference-of-squares
Counts
4 → 184
Calls
4 calls:
25.0ms
(/ 1 (exp x))
165.0ms
(* (sqrt (exp (- x))) (sqrt (exp (- x))))
3.0ms
(fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
165.0ms
(+ (- (exp x) 2.0) (/ 1 (exp x)))

series330.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(/ 1 (exp x))
15.0ms
(* (sqrt (exp (- x))) (sqrt (exp (- x))))
169.0ms
(fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
108.0ms
(+ (- (exp x) 2.0) (/ 1 (exp x)))

simplify9.3s

Counts
196 → 196
Iterations
IterNodes
done5000
34914
21438
1542
0256

prune1.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes110.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done10
110
09

end0.0ms

sample6.3s

Algorithm
intervals
Results
4.4s5681×body1280valid
788.0ms8197×body80valid
528.0ms1232×body640valid
144.0ms585×body320valid
57.0ms347×body160valid