Details

Time bar (total: 41.7s)

sample1.5s

Algorithm
intervals
Results
725.0ms211×body10240exit
325.0ms86×body2560valid
158.0ms91×body1280valid
102.0ms468×body80nan
50.0ms19×body320valid
46.0ms46×body640valid
4.0ms9×body160valid
3.0ms1×body2560nan
1.0ms5×body80valid
0.0ms1×body320nan

simplify56.0ms

Calls
1 calls:
Slowest
55.0ms
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 60.4b

localize21.0ms

Local error

Found 4 expressions with local error:

59.8b
(fmod (cosh a) (* a a))
2.2b
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
0.0b
(pow (fmod (cosh a) (* a a)) (log1p a))
0.0b
(cosh a)

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×pow1 add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
3×pow-unpow unpow-prod-down
1×acos-asin pow-to-exp cosh-def pow-pow pow-exp
Calls
4 calls:
Slowest
2.0ms
(pow (fmod (cosh a) (* a a)) (log1p a))
1.0ms
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.0ms
(fmod (cosh a) (* a a))
0.0ms
(cosh a)

series272.0ms

Calls
4 calls:
Slowest
198.0ms
(pow (fmod (cosh a) (* a a)) (log1p a))
59.0ms
(cosh a)
9.0ms
(fmod (cosh a) (* a a))
5.0ms
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))

simplify498.0ms

Calls
20 calls:
Slowest
63.0ms
(* 1/2 (+ (exp (* -1 a)) (exp a)))
59.0ms
(exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
48.0ms
(pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
46.0ms
(+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1))
42.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))

prune569.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 59.0b

localize23.0ms

Local error

Found 4 expressions with local error:

59.8b
(fmod (cosh a) (* a a))
12.7b
(log (exp (fmod (cosh a) (* a a))))
2.2b
(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
0.0b
(pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×log-pow
7×pow1 unpow-prod-down
6×exp-prod
5×add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
3×pow-unpow log-prod
1×acos-asin pow-to-exp pow-pow rem-log-exp pow-exp
Calls
4 calls:
Slowest
7.0ms
(pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
4.0ms
(log (exp (fmod (cosh a) (* a a))))
2.0ms
(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
0.0ms
(fmod (cosh a) (* a a))

series233.0ms

Calls
4 calls:
Slowest
221.0ms
(pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
4.0ms
(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
3.0ms
(fmod (cosh a) (* a a))
3.0ms
(log (exp (fmod (cosh a) (* a a))))

simplify638.0ms

Calls
31 calls:
Slowest
60.0ms
(exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
52.0ms
(pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))
46.0ms
(log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
44.0ms
(pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
41.0ms
(* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))

prune721.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 59.0b

localize35.0ms

Local error

Found 4 expressions with local error:

59.8b
(fmod (cosh a) (* a a))
59.8b
(fmod (cosh a) (* a a))
59.8b
(fmod (cosh a) (* a a))
12.3b
(log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))

rewrite5.0ms

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

series183.0ms

Calls
4 calls:
Slowest
177.0ms
(log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
2.0ms
(fmod (cosh a) (* a a))
2.0ms
(fmod (cosh a) (* a a))
2.0ms
(fmod (cosh a) (* a a))

simplify326.0ms

Calls
18 calls:
Slowest
55.0ms
(log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))
37.0ms
(pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
36.0ms
(log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))
30.0ms
(pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
22.0ms
(cbrt (fmod (cosh a) (* a a)))

prune649.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 59.0b

localize30.0ms

Local error

Found 4 expressions with local error:

59.8b
(fmod (cosh a) (* a a))
59.8b
(fmod (cosh a) (* a a))
59.8b
(fmod (cosh a) (* a a))
59.8b
(fmod (cosh a) (* a a))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 add-log-exp
Calls
4 calls:
Slowest
0.0ms
(fmod (cosh a) (* a a))
0.0ms
(fmod (cosh a) (* a a))
0.0ms
(fmod (cosh a) (* a a))
0.0ms
(fmod (cosh a) (* a a))

series12.0ms

Calls
4 calls:
Slowest
5.0ms
(fmod (cosh a) (* a a))
2.0ms
(fmod (cosh a) (* a a))
2.0ms
(fmod (cosh a) (* a a))
2.0ms
(fmod (cosh a) (* a a))

simplify127.0ms

Calls
12 calls:
Slowest
12.0ms
(fmod (cosh a) (pow a 2))
12.0ms
(fmod (cosh a) (pow a 2))
12.0ms
(fmod (cosh a) (pow a 2))
11.0ms
(fmod (cosh a) (pow a 2))
11.0ms
(fmod (cosh a) (pow a 2))

prune813.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 58.9b

regimes380.0ms

Accuracy

0% (0.3b remaining)

Error of 59.2b against oracle of 59.0b and baseline of 59.2b

bsearch16.0ms

end0.0ms

sample34.5s

Algorithm
intervals
Results
20.1s7831×body10240exit
6.7s3111×body2560valid
3.1s2505×body1280valid
2.7s16101×body80nan
1.0s1348×body640valid
395.0ms598×body320valid
105.0ms294×body160valid
36.0ms7×body5120nan
26.0ms144×body80valid
13.0ms8×body2560nan
9.0ms13×body640nan
5.0ms9×body320nan
5.0ms6×body1280nan
2.0ms7×body160nan