Details

Time bar (total: 44.3s)

sample1.6s

Algorithm
intervals
Results
903.0ms266×body10240exit
266.0ms97×body2560valid
158.0ms79×body1280valid
77.0ms512×body80nan
43.0ms48×body640valid
8.0ms13×body320valid
6.0ms11×body160valid
2.0ms8×body80valid
2.0ms2×body640nan
1.0ms1×body160nan

simplify121.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
120.0ms
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 59.3b

localize19.0ms

Local error

Found 2 expressions with local error:

58.2b
(fmod (cosh a) (* a a))
1.8b
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))

rewrite13.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×acos-asin
Counts
2 → 17
Calls
2 calls:
Slowest
1.0ms
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.0ms
(fmod (cosh a) (* a a))

series16.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
13.0ms
(fmod (cosh a) (* a a))
2.0ms
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))

simplify188.0ms

Counts
6 → 23
Calls
6 calls:
Slowest
61.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
57.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
47.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.0ms
(fmod (cosh a) (pow a 2))
7.0ms
(fmod (cosh a) (pow a 2))

prune307.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 58.0b

localize36.0ms

Local error

Found 3 expressions with local error:

58.2b
(fmod (cosh a) (* a a))
12.5b
(log (exp (fmod (cosh a) (* a a))))
1.8b
(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 log-pow
3×log-prod exp-prod add-cbrt-cube add-exp-log insert-posit16 add-log-exp
1×acos-asin rem-log-exp
Counts
3 → 33
Calls
3 calls:
Slowest
5.0ms
(log (exp (fmod (cosh a) (* a a))))
2.0ms
(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
1.0ms
(fmod (cosh a) (* a a))

series12.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
4.0ms
(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
4.0ms
(fmod (cosh a) (* a a))
4.0ms
(log (exp (fmod (cosh a) (* a a))))

simplify382.0ms

Counts
16 → 42
Calls
16 calls:
Slowest
68.0ms
(log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
47.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
46.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
46.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
29.0ms
(cbrt (fmod (cosh a) (* a a)))

prune514.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 58.0b

localize54.0ms

Local error

Found 4 expressions with local error:

58.2b
(fmod (cosh a) (* a a))
58.2b
(fmod (cosh a) (* a a))
11.5b
(log (exp (sqrt (fmod (cosh a) (* a a)))))
1.8b
(acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt *-un-lft-identity log-pow add-cube-cbrt
6×exp-prod
5×pow1
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×log-prod sqrt-prod
1×acos-asin rem-log-exp
Counts
4 → 44
Calls
4 calls:
Slowest
6.0ms
(log (exp (sqrt (fmod (cosh a) (* a a)))))
3.0ms
(acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))
1.0ms
(fmod (cosh a) (* a a))
1.0ms
(fmod (cosh a) (* a a))

series24.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
14.0ms
(log (exp (sqrt (fmod (cosh a) (* a a)))))
4.0ms
(fmod (cosh a) (* a a))
3.0ms
(acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))
3.0ms
(fmod (cosh a) (* a a))

simplify628.0ms

Counts
22 → 56
Calls
22 calls:
Slowest
67.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
50.0ms
(cbrt (sqrt (fmod (cosh a) (* a a))))
49.0ms
(sqrt (cbrt (fmod (cosh a) (* a a))))
48.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
47.0ms
(log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))

prune583.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 58.0b

localize52.0ms

Local error

Found 4 expressions with local error:

58.2b
(fmod (cosh a) (* a a))
58.2b
(fmod (cosh a) (* a a))
58.2b
(fmod (cosh a) (* a a))
11.6b
(log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
9×log-pow
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×sqrt-pow1
6×pow1 log-prod exp-prod sqrt-prod
5×add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
1×pow1/2 rem-log-exp
Counts
4 → 48
Calls
4 calls:
Slowest
4.0ms
(log (sqrt (exp (sqrt (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))

series181.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
175.0ms
(log (sqrt (exp (sqrt (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))

simplify1.1s

Counts
26 → 60
Calls
26 calls:
Slowest
438.0ms
(log 1)
67.0ms
(log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))
53.0ms
(log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
51.0ms
(sqrt (exp (sqrt (fmod (cosh a) (* a a)))))
50.0ms
(/ (sqrt (fmod (cosh a) (* a a))) 2)

prune742.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 57.9b

regimes541.0ms

Accuracy

0% (0.2b remaining)

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

bsearch9.0ms

end0.0ms

sample37.0s

Algorithm
intervals
Results
21.4s7942×body10240exit
7.7s3262×body2560valid
3.3s2513×body1280valid
2.6s15986×body80nan
890.0ms1182×body640valid
383.0ms620×body320valid
130.0ms317×body160valid
20.0ms106×body80valid
12.0ms5×body5120nan
11.0ms11×body1280nan
9.0ms6×body2560nan
4.0ms7×body640nan
3.0ms10×body160nan
3.0ms6×body320nan