Details

Time bar (total: 18.1s)

sample667.0ms

Algorithm
intervals
Results
626.0ms254×body10240exit
27.0ms256×body80valid

simplify75.0ms

Calls
1 calls:
Slowest
75.0ms
(fmod (sinh c) (- c (pow -2.9807307601812193e+165 2)))

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 1 expressions with local error:

0.0b
(sinh c)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 sinh-def *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
Calls
1 calls:
Slowest
1.0ms
(sinh c)

series101.0ms

Calls
1 calls:
Slowest
101.0ms
(sinh c)

simplify247.0ms

Calls
3 calls:
Slowest
98.0ms
(+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
85.0ms
(* 1/2 (- (exp c) (exp (- c))))
63.0ms
(* 1/2 (- (exp c) (exp (* -1 c))))

prune118.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.3b
(* 1/6 c)
0.0b
(fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
2×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
1×*-commutative fma-udef
Calls
2 calls:
Slowest
0.0ms
(* 1/6 c)
0.0ms
(fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c))

series76.0ms

Calls
2 calls:
Slowest
60.0ms
(fma (* c c) (* 1/6 c) (fma 1/120 (pow c 5) c))
16.0ms
(* 1/6 c)

simplify367.0ms

Calls
6 calls:
Slowest
138.0ms
(+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
109.0ms
(+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
108.0ms
(+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
3.0ms
(* 1/6 c)
3.0ms
(* 1/6 c)

prune388.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

39.9b
(cbrt (* (* (sinh c) (sinh c)) (sinh c)))
0.1b
(* (* (sinh c) (sinh c)) (sinh c))
0.0b
(sinh c)
0.0b
(sinh c)

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
26×sinh-def
18×pow1
10×frac-times associate-*l/
9×add-cbrt-cube add-exp-log
7×cbrt-div
6×associate-*r/
5×add-sqr-sqrt *-un-lft-identity pow-plus pow-prod-up add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×pow2 pow3
1×cbrt-prod pow1/3 associate-*l* *-commutative rem-cbrt-cube
Calls
4 calls:
Slowest
30.0ms
(* (* (sinh c) (sinh c)) (sinh c))
10.0ms
(cbrt (* (* (sinh c) (sinh c)) (sinh c)))
0.0ms
(sinh c)
0.0ms
(sinh c)

series407.0ms

Calls
4 calls:
Slowest
151.0ms
(* (* (sinh c) (sinh c)) (sinh c))
94.0ms
(sinh c)
87.0ms
(sinh c)
74.0ms
(cbrt (* (* (sinh c) (sinh c)) (sinh c)))

simplify6.0s

Calls
49 calls:
Slowest
604.0ms
(cbrt (* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c)))
494.0ms
(* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c))))
447.0ms
(cbrt (* (* (- (exp c) (exp (- c))) (- (exp c) (exp (- c)))) (- (exp c) (exp (- c)))))
421.0ms
(* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c)))
360.0ms
(* (* (* (* (sinh c) (sinh c)) (sinh c)) (* (* (sinh c) (sinh c)) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c)))

prune630.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes25.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample8.9s

Algorithm
intervals
Results
7.8s7919×body10240exit
850.0ms8002×body80valid
11.0ms5×body5120valid
4.0ms4×body2560valid
1.0ms1×body640valid
0.0ms1×body1280valid
0.0ms1×body320valid
0.0ms1×body160valid