Details

Time bar (total: 19.6s)

sample645.0ms

Algorithm
intervals
Results
601.0ms254×body10240exit
27.0ms256×body80valid

simplify47.0ms

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

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(sinh c)

rewrite3.0ms

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

series110.0ms

Calls
1 calls:
Slowest
109.0ms
(sinh c)

simplify259.0ms

Calls
3 calls:
Slowest
113.0ms
(+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
78.0ms
(* 1/2 (- (exp c) (exp (* -1 c))))
66.0ms
(* 1/2 (- (exp c) (exp (- c))))

prune99.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (* c c) c) 1/6)
0.1b
(* (pow c 5) 1/120)
0.1b
(* (* c c) c)
0.0b
(+ (+ c (* (* (* c c) c) 1/6)) (* (pow c 5) 1/120))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
5×add-sqr-sqrt *-un-lft-identity associate-*l* add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×*-commutative
1×pow2 +-commutative associate-+l+ sum-log flip3-+ pow-plus pow3 flip-+
Calls
4 calls:
Slowest
16.0ms
(* (* (* c c) c) 1/6)
6.0ms
(+ (+ c (* (* (* c c) c) 1/6)) (* (pow c 5) 1/120))
4.0ms
(* (pow c 5) 1/120)
3.0ms
(* (* c c) c)

series225.0ms

Calls
4 calls:
Slowest
74.0ms
(* (pow c 5) 1/120)
70.0ms
(+ (+ c (* (* (* c c) c) 1/6)) (* (pow c 5) 1/120))
46.0ms
(* (* (* c c) c) 1/6)
34.0ms
(* (* c c) c)

simplify507.0ms

Calls
16 calls:
Slowest
179.0ms
(* (exp (+ c (* (* (* c c) c) 1/6))) (exp (* (pow c 5) 1/120)))
113.0ms
(+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
69.0ms
(+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
66.0ms
(+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
13.0ms
(* 1/6 (pow c 3))

prune636.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize23.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)

rewrite51.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×insert-posit16 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
31.0ms
(* (* (sinh c) (sinh c)) (sinh c))
17.0ms
(cbrt (* (* (sinh c) (sinh c)) (sinh c)))
0.0ms
(sinh c)
0.0ms
(sinh c)

series393.0ms

Calls
4 calls:
Slowest
130.0ms
(* (* (sinh c) (sinh c)) (sinh c))
107.0ms
(cbrt (* (* (sinh c) (sinh c)) (sinh c)))
88.0ms
(sinh c)
68.0ms
(sinh c)

simplify7.2s

Calls
49 calls:
Slowest
652.0ms
(* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c))
506.0ms
(cbrt (* (* (sinh c) (- (exp c) (exp (- c)))) (sinh c)))
503.0ms
(cbrt (* (* (sinh c) (sinh c)) (- (exp c) (exp (- c)))))
499.0ms
(* (* (* (* (sinh c) (sinh c)) (* (sinh c) (sinh c))) (* (sinh c) (sinh c))) (* (* (sinh c) (sinh c)) (sinh c)))
497.0ms
(cbrt (* (* (- (exp c) (exp (- c))) (sinh c)) (sinh c)))

prune451.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes30.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.7s

Algorithm
intervals
Results
7.6s7919×body10240exit
943.0ms8002×body80valid
8.0ms5×body5120valid
4.0ms4×body2560valid
0.0ms1×body1280valid
0.0ms1×body640valid
0.0ms1×body320valid
0.0ms1×body160valid