Details

Time bar (total: 20.3s)

sample371.0ms

Algorithm
intervals
Results
136.0ms206×body10240exit
75.0ms238×body80valid
67.0ms419×body80nan
6.0ms23×body160valid

simplify114.0ms

Calls
1 calls:
Slowest
113.0ms
(sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
4×*-un-lft-identity add-cube-cbrt
3×fma-def sqrt-prod
2×expm1-log1p-u pow1 flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ insert-posit16 log1p-expm1-u add-log-exp
1×+-commutative rem-sqrt-square pow1/2
Calls
2 calls:
Slowest
9.0ms
(+ (exp x) 1)
8.0ms
(sqrt (+ (exp x) 1))

series48.0ms

Calls
2 calls:
Slowest
24.0ms
(+ (exp x) 1)
24.0ms
(sqrt (+ (exp x) 1))

simplify614.0ms

Calls
14 calls:
Slowest
292.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
105.0ms
(sqrt (- (* (exp x) (exp x)) (* 1 1)))
62.0ms
(+ x (+ (* 1/2 (pow x 2)) 2))
50.0ms
(sqrt (+ (pow (exp x) 3) (pow 1 3)))
21.0ms
(sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))

prune333.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

4.8b
(- (* 1 1) (* (exp x) 1))
0.1b
(pow (exp x) 3)
0.1b
(* (exp x) (exp x))
0.0b
(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
11×add-log-exp
10×pow1
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×add-cbrt-cube
4×expm1-log1p-u add-exp-log insert-posit16 log1p-expm1-u
3×associate-+r+ unpow-prod-down cube-prod associate-*r* associate-*l*
2×sum-log sub-neg diff-log prod-diff
1×pow2 cube-mult pow-to-exp +-commutative associate-+r- pow-pow fma-def flip3-+ pow-plus flip3-- distribute-rgt-out-- fma-neg unpow3 pow-prod-down pow-exp prod-exp *-commutative pow-prod-up cbrt-unprod flip-+ flip-- rem-cube-cbrt
Calls
4 calls:
Slowest
20.0ms
(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
5.0ms
(* (exp x) (exp x))
3.0ms
(- (* 1 1) (* (exp x) 1))
1.0ms
(pow (exp x) 3)

series71.0ms

Calls
4 calls:
Slowest
29.0ms
(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
15.0ms
(pow (exp x) 3)
14.0ms
(- (* 1 1) (* (exp x) 1))
12.0ms
(* (exp x) (exp x))

simplify1.6s

Calls
43 calls:
Slowest
386.0ms
(- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
230.0ms
(* (exp (* (exp x) (exp x))) (/ (exp (* 1 1)) (exp (* (exp x) 1))))
204.0ms
(* (exp (* (exp x) (exp x))) (exp (- (* 1 1) (* (exp x) 1))))
100.0ms
(+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
89.0ms
(+ (* 2 x) (+ (* 2 (pow x 2)) 1))

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×sqrt-prod
7×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×rem-sqrt-square pow1/2
1×fma-udef
Calls
4 calls:
Slowest
2.0ms
(sqrt (exp x))
2.0ms
(sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))
2.0ms
(sqrt (exp x))
0.0ms
(fma (sqrt (exp x)) (sqrt (exp x)) 1)

series138.0ms

Calls
4 calls:
Slowest
50.0ms
(sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))
48.0ms
(fma (sqrt (exp x)) (sqrt (exp x)) 1)
20.0ms
(sqrt (exp x))
19.0ms
(sqrt (exp x))

simplify612.0ms

Calls
24 calls:
Slowest
254.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
80.0ms
(+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))
78.0ms
(+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))
58.0ms
(+ x (+ (* 1/2 (pow x 2)) 2))
30.0ms
(sqrt (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))))

prune747.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

4.8b
(- (* 1 1) (* (exp x) 1))
0.1b
(pow (exp x) 3)
0.1b
(* (* (exp x) (exp x)) (* (exp x) (exp x)))
0.1b
(* (exp x) (exp x))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
67×pow1
24×pow-prod-up
19×add-cbrt-cube pow-prod-down
13×pow-plus
10×pow2
9×prod-exp cbrt-unprod
8×add-sqr-sqrt *-un-lft-identity add-exp-log add-cube-cbrt
6×add-log-exp
4×expm1-log1p-u associate-*r* associate-*l* insert-posit16 log1p-expm1-u
3×unpow-prod-down cube-prod
2×*-commutative
1×cube-mult pow-to-exp sub-neg pow-pow flip3-- distribute-rgt-out-- fma-neg diff-log unpow3 prod-diff pow-exp flip-- rem-cube-cbrt
Calls
4 calls:
Slowest
19.0ms
(* (* (exp x) (exp x)) (* (exp x) (exp x)))
5.0ms
(* (exp x) (exp x))
3.0ms
(- (* 1 1) (* (exp x) 1))
1.0ms
(pow (exp x) 3)

series65.0ms

Calls
4 calls:
Slowest
18.0ms
(- (* 1 1) (* (exp x) 1))
17.0ms
(pow (exp x) 3)
16.0ms
(* (exp x) (exp x))
14.0ms
(* (* (exp x) (exp x)) (* (exp x) (exp x)))

simplify2.7s

Calls
87 calls:
Slowest
379.0ms
(* (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))))
349.0ms
(- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
344.0ms
(* (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))) (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))))
324.0ms
(* (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))) (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))))
199.0ms
(* (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))))

prune1.8s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes28.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample9.7s

Algorithm
intervals
Results
6.1s6744×body10240exit
2.2s12798×body80nan
800.0ms7397×body80valid
198.0ms746×body160valid