Details

Time bar (total: 20.3s)

sample365.0ms

Algorithm
intervals
Results
174.0ms247×body10240exit
35.0ms476×body80nan
19.0ms230×body80valid
5.0ms28×body160valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5000
73702
6894
5301
4108
353
230
124
010

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(sqrt (+ 1 (exp x)))
0.0b
(+ 1 (exp x))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity
4×add-cube-cbrt sqrt-prod add-log-exp
3×pow1 fma-def
2×expm1-log1p-u flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ hypot-def insert-posit16 log1p-expm1-u distribute-lft-out
1×+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2 hypot-1-def
Counts
2 → 40
Calls
2 calls:
11.0ms
(sqrt (+ 1 (exp x)))
9.0ms
(+ 1 (exp x))

series88.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(sqrt (+ 1 (exp x)))
35.0ms
(+ 1 (exp x))

simplify2.6s

Counts
46 → 46
Iterations
IterNodes
done5000
43721
31297
2461
1156
067

prune174.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (* 3 x))
0.0b
(/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))
0.0b
(+ (exp (* 3 x)) 1)
0.0b
(- (fma (exp x) (exp x) 1) (exp x))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
49×*-un-lft-identity
35×add-sqr-sqrt
23×add-cube-cbrt
20×times-frac
10×add-log-exp
9×prod-diff
7×distribute-lft-out
6×add-cbrt-cube add-exp-log distribute-lft-out-- difference-of-squares
5×associate-/r*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u associate-/l*
3×fma-def fma-neg
2×flip3-+ flip3-- associate-/r/ flip-+ flip-- associate-/l/
1×cbrt-undiv +-commutative exp-prod clear-num sum-log sub-neg frac-2neg exp-to-pow diff-log div-exp associate--l+ fma-udef div-inv rem-exp-log
Counts
4 → 109
Calls
4 calls:
8.0ms
(exp (* 3 x))
46.0ms
(/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))
19.0ms
(+ (exp (* 3 x)) 1)
8.0ms
(- (fma (exp x) (exp x) 1) (exp x))

series162.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(exp (* 3 x))
90.0ms
(/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))
19.0ms
(+ (exp (* 3 x)) 1)
41.0ms
(- (fma (exp x) (exp x) 1) (exp x))

simplify2.3s

Counts
121 → 121
Iterations
IterNodes
done5000
32879
2915
1367
0162

prune624.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma (exp x) (exp x) 1) (exp x))
0.0b
(expm1 (* x 3))
0.1b
(/ (expm1 (* x 6)) (expm1 (* x 3)))
0.1b
(expm1 (* x 6))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
19×add-cube-cbrt
9×times-frac prod-diff
6×add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
4×expm1-log1p-u pow1 insert-posit16
3×associate-/r* fma-neg associate-/l* expm1-udef
2×expm1-log1p
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-sub div-exp associate--l+ fma-udef div-inv flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 85
Calls
4 calls:
8.0ms
(- (fma (exp x) (exp x) 1) (exp x))
0.0ms
(expm1 (* x 3))
5.0ms
(/ (expm1 (* x 6)) (expm1 (* x 3)))
1.0ms
(expm1 (* x 6))

series162.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(- (fma (exp x) (exp x) 1) (exp x))
26.0ms
(expm1 (* x 3))
61.0ms
(/ (expm1 (* x 6)) (expm1 (* x 3)))
31.0ms
(expm1 (* x 6))

simplify2.9s

Counts
97 → 97
Iterations
IterNodes
done5003
32275
2793
1319
0154

prune621.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes36.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done8
18
05

end0.0ms

sample7.2s

Algorithm
intervals
Results
5.0s6791×body10240exit
936.0ms12669×body80nan
675.0ms7438×body80valid
146.0ms684×body160valid