Details

Time bar (total: 23.7s)

sample709.0ms

Algorithm
intervals
Results
555.0ms291×body10240exit
68.0ms82×body1280valid
26.0ms53×body640valid
12.0ms148×body80nan
9.0ms87×body80valid
7.0ms20×body320valid
4.0ms3×body2560valid
3.0ms11×body160valid

simplify26.0ms

Calls
1 calls:
Slowest
25.0ms
(fmod (cosh c) (log1p a))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.8b

localize25.0ms

Local error

Found 2 expressions with local error:

39.7b
(fmod (cosh c) (log1p a))
0.0b
(cosh c)

rewrite5.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×cosh-def
Calls
2 calls:
Slowest
1.0ms
(fmod (cosh c) (log1p a))
1.0ms
(cosh c)

series98.0ms

Calls
2 calls:
Slowest
84.0ms
(cosh c)
14.0ms
(fmod (cosh c) (log1p a))

simplify130.0ms

Calls
6 calls:
Slowest
37.0ms
(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
34.0ms
(* 1/2 (+ (exp (* -1 c)) (exp c)))
25.0ms
(* 1/2 (+ (exp c) (exp (- c))))
13.0ms
(fmod (cosh c) (log1p a))
10.0ms
(fmod (cosh c) (log1p a))

prune283.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 34.8b

localize11.0ms

Local error

Found 4 expressions with local error:

39.7b
(fmod (cosh c) (log1p a))
0.6b
(exp (log (fmod (cosh c) (log1p a))))
0.3b
(log (fmod (cosh c) (log1p a)))
0.0b
(cosh c)

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1 log-prod
5×add-exp-log
4×expm1-log1p-u exp-prod add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
3×exp-sum
2×log-pow
1×cosh-def rem-log-exp rem-exp-log
Calls
4 calls:
Slowest
5.0ms
(exp (log (fmod (cosh c) (log1p a))))
2.0ms
(log (fmod (cosh c) (log1p a)))
1.0ms
(fmod (cosh c) (log1p a))
1.0ms
(cosh c)

series74.0ms

Calls
4 calls:
Slowest
47.0ms
(cosh c)
19.0ms
(log (fmod (cosh c) (log1p a)))
5.0ms
(fmod (cosh c) (log1p a))
3.0ms
(exp (log (fmod (cosh c) (log1p a))))

simplify537.0ms

Calls
24 calls:
Slowest
72.0ms
(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
68.0ms
(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
52.0ms
(exp (log (sqrt (fmod (cosh c) (log1p a)))))
49.0ms
(exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
45.0ms
(exp (sqrt (log (fmod (cosh c) (log1p a)))))

prune964.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 34.6b

localize23.0ms

Local error

Found 4 expressions with local error:

39.7b
(fmod (cosh c) (log1p a))
39.7b
(fmod (cosh c) (log1p a))
39.7b
(fmod (cosh c) (log1p a))
0.6b
(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
4×expm1-log1p-u pow1 exp-prod add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
1×cbrt-prod rem-exp-log
Calls
4 calls:
Slowest
17.0ms
(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
0.0ms
(fmod (cosh c) (log1p a))
0.0ms
(fmod (cosh c) (log1p a))
0.0ms
(fmod (cosh c) (log1p a))

series21.0ms

Calls
4 calls:
Slowest
6.0ms
(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
5.0ms
(fmod (cosh c) (log1p a))
5.0ms
(fmod (cosh c) (log1p a))
5.0ms
(fmod (cosh c) (log1p a))

simplify297.0ms

Calls
17 calls:
Slowest
71.0ms
(exp (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
50.0ms
(exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
50.0ms
(exp (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
37.0ms
(cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))
10.0ms
(fmod (cosh c) (log1p a))

prune908.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 34.6b

localize14.0ms

Local error

Found 4 expressions with local error:

39.7b
(fmod (cosh c) (log1p a))
39.7b
(fmod (cosh c) (log1p a))
39.7b
(fmod (cosh c) (log1p a))
0.8b
(pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 pow-unpow add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-prod pow-to-exp
Calls
4 calls:
Slowest
2.0ms
(pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
0.0ms
(fmod (cosh c) (log1p a))
0.0ms
(fmod (cosh c) (log1p a))
0.0ms
(fmod (cosh c) (log1p a))

series96.0ms

Calls
4 calls:
Slowest
82.0ms
(pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
5.0ms
(fmod (cosh c) (log1p a))
4.0ms
(fmod (cosh c) (log1p a))
4.0ms
(fmod (cosh c) (log1p a))

simplify298.0ms

Calls
16 calls:
Slowest
66.0ms
(sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
62.0ms
(cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))
49.0ms
(cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
18.0ms
(cbrt (log (fmod (cosh c) (log1p a))))
11.0ms
(fmod (cosh c) (log1p a))

prune811.0ms

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 34.6b

regimes677.0ms

Accuracy

0% (0.3b remaining)

Error of 34.5b against oracle of 34.2b and baseline of 34.5b

bsearch4.0ms

end0.0ms

sample17.6s

Algorithm
intervals
Results
13.3s7872×body10240exit
2.1s2355×body1280valid
706.0ms1585×body640valid
415.0ms5237×body80nan
243.0ms2728×body80valid
239.0ms799×body320valid
213.0ms142×body2560valid
77.0ms382×body160valid
18.0ms9×body5120valid