Details

Time bar (total: 23.7s)

sample1.1s

Algorithm
intervals
Results
950.0ms291×body10240exit
82.0ms82×body1280valid
29.0ms53×body640valid
14.0ms148×body80nan
11.0ms87×body80valid
8.0ms20×body320valid
5.0ms3×body2560valid
3.0ms11×body160valid

simplify52.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.8b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite3.0ms

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

series57.0ms

Calls
2 calls:
Slowest
48.0ms
(cosh c)
9.0ms
(fmod (cosh c) (log1p a))

simplify135.0ms

Calls
6 calls:
Slowest
47.0ms
(* 1/2 (+ (exp (* -1 c)) (exp c)))
41.0ms
(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
20.0ms
(* 1/2 (+ (exp c) (exp (- c))))
15.0ms
(fmod (cosh c) (log1p a))
6.0ms
(fmod (cosh c) (log1p a))

prune266.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 34.8b

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

rewrite8.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×exp-prod add-cbrt-cube insert-posit16 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)))
0.0ms
(fmod (cosh c) (log1p a))
0.0ms
(cosh c)

series68.0ms

Calls
4 calls:
Slowest
37.0ms
(cosh c)
22.0ms
(log (fmod (cosh c) (log1p a)))
4.0ms
(fmod (cosh c) (log1p a))
4.0ms
(exp (log (fmod (cosh c) (log1p a))))

simplify497.0ms

Calls
24 calls:
Slowest
65.0ms
(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
52.0ms
(* 1/2 (+ (exp (* -1 c)) (exp c)))
41.0ms
(* 1/2 (+ (exp c) (exp (- c))))
41.0ms
(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
40.0ms
(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))

prune759.0ms

Pruning

16 alts after pruning (16 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.6b
(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
4×pow1 exp-prod add-cbrt-cube add-exp-log insert-posit16
1×cbrt-prod rem-exp-log
Calls
4 calls:
Slowest
8.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))

series19.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))
4.0ms
(fmod (cosh c) (log1p a))
4.0ms
(fmod (cosh c) (log1p a))

simplify301.0ms

Calls
17 calls:
Slowest
64.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))))))))
59.0ms
(exp (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))))))
40.0ms
(exp (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
31.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))

prune751.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×pow1 pow-unpow add-cbrt-cube add-exp-log insert-posit16 add-log-exp
1×cbrt-prod pow-to-exp
Calls
4 calls:
Slowest
1.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))

series79.0ms

Calls
4 calls:
Slowest
71.0ms
(pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
3.0ms
(fmod (cosh c) (log1p a))
2.0ms
(fmod (cosh c) (log1p a))
2.0ms
(fmod (cosh c) (log1p a))

simplify262.0ms

Calls
16 calls:
Slowest
61.0ms
(cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))
40.0ms
(sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
37.0ms
(cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
26.0ms
(cbrt (log (fmod (cosh c) (log1p a))))
10.0ms
(fmod (cosh c) (log1p a))

prune691.0ms

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 34.6b

regimes864.0ms

Accuracy

0% (0.3b remaining)

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

bsearch2.0ms

end0.0ms

sample17.7s

Algorithm
intervals
Results
12.5s7872×body10240exit
2.1s2355×body1280valid
823.0ms1585×body640valid
623.0ms2728×body80valid
543.0ms799×body320valid
441.0ms5237×body80nan
221.0ms142×body2560valid
98.0ms382×body160valid
19.0ms9×body5120valid