Details

Time bar (total: 26.8s)

sample844.0ms

Algorithm
intervals
Results
612.0ms291×body10240exit
119.0ms71×body1280valid
29.0ms49×body640valid
17.0ms176×body80nan
14.0ms95×body80valid
9.0ms25×body320valid
7.0ms4×body2560valid
3.0ms12×body160valid

simplify13.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
12.0ms
(fmod (cosh c) (log1p a))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.4b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite8.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
Counts
2 → 21
Calls
2 calls:
Slowest
4.0ms
(cosh c)
1.0ms
(fmod (cosh c) (log1p a))

series94.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
78.0ms
(cosh c)
16.0ms
(fmod (cosh c) (log1p a))

simplify351.0ms

Counts
6 → 27
Calls
6 calls:
Slowest
235.0ms
(* 1/2 (+ (exp (* -1 c)) (exp c)))
59.0ms
(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
38.0ms
(* 1/2 (+ (exp c) (exp (- c))))
7.0ms
(fmod (cosh c) (log1p a))
5.0ms
(fmod (cosh c) (log1p a))

prune378.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 33.3b

localize16.0ms

Local error

Found 4 expressions with local error:

37.8b
(fmod (cosh c) (log1p a))
1.0b
(log (fmod (cosh c) (log1p a)))
0.7b
(exp (log (fmod (cosh c) (log1p a))))
0.0b
(cosh c)

rewrite11.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
Counts
4 → 54
Calls
4 calls:
Slowest
5.0ms
(exp (log (fmod (cosh c) (log1p a))))
3.0ms
(cosh c)
2.0ms
(log (fmod (cosh c) (log1p a)))
0.0ms
(fmod (cosh c) (log1p a))

series127.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
77.0ms
(cosh c)
35.0ms
(log (fmod (cosh c) (log1p a)))
10.0ms
(fmod (cosh c) (log1p a))
5.0ms
(exp (log (fmod (cosh c) (log1p a))))

simplify750.0ms

Counts
24 → 66
Calls
24 calls:
Slowest
215.0ms
(* 1/2 (+ (exp (* -1 c)) (exp c)))
117.0ms
(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
73.0ms
(+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
44.0ms
(exp (sqrt (log (fmod (cosh c) (log1p a)))))
44.0ms
(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))

prune938.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 33.1b

localize36.0ms

Local error

Found 4 expressions with local error:

37.8b
(fmod (cosh c) (log1p a))
1.0b
(log (fmod (cosh c) (log1p a)))
0.9b
(pow E (log (fmod (cosh c) (log1p a))))
0.0b
(cosh c)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×pow1
6×log-prod add-exp-log
4×expm1-log1p-u pow-unpow add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
3×unpow-prod-up unpow-prod-down
2×pow-exp log-pow
1×pow-to-exp e-exp-1 cosh-def pow-pow rem-log-exp sqr-pow
Counts
4 → 61
Calls
4 calls:
Slowest
5.0ms
(pow E (log (fmod (cosh c) (log1p a))))
3.0ms
(log (fmod (cosh c) (log1p a)))
3.0ms
(cosh c)
1.0ms
(fmod (cosh c) (log1p a))

series183.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
73.0ms
(pow E (log (fmod (cosh c) (log1p a))))
65.0ms
(cosh c)
39.0ms
(log (fmod (cosh c) (log1p a)))
5.0ms
(fmod (cosh c) (log1p a))

simplify1.1s

Counts
28 → 73
Calls
28 calls:
Slowest
198.0ms
(* 1/2 (+ (exp (* -1 c)) (exp c)))
130.0ms
(pow E (log (cbrt (fmod (cosh c) (log1p a)))))
113.0ms
(pow E (log (sqrt (fmod (cosh c) (log1p a)))))
84.0ms
(pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a))))
55.0ms
(pow (sqrt E) (log (fmod (cosh c) (log1p a))))

prune1.1s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 33.1b

localize31.0ms

Local error

Found 4 expressions with local error:

38.0b
(fmod (expm1 (log1p (cosh c))) (log1p a))
20.1b
(log (fmod (expm1 (log1p (cosh c))) (log1p a)))
0.5b
(exp (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
0.3b
(log1p (cosh c))

rewrite10.0ms

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

series608.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
563.0ms
(log1p (cosh c))
34.0ms
(log (fmod (expm1 (log1p (cosh c))) (log1p a)))
6.0ms
(fmod (expm1 (log1p (cosh c))) (log1p a))
5.0ms
(exp (log (fmod (expm1 (log1p (cosh c))) (log1p a))))

simplify1.1s

Counts
25 → 67
Calls
25 calls:
Slowest
252.0ms
(log (+ (* 1/2 (exp (* -1 c))) (+ (* 1/2 (exp c)) 1)))
138.0ms
(- (+ (* 1/4 (pow c 2)) (log 2)) (* 1/96 (pow c 4)))
127.0ms
(exp (* (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a)))) (cbrt (log (fmod (expm1 (log1p (cosh c))) (log1p a))))))
71.0ms
(log (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a)))))
65.0ms
(exp (log (* (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))) (cbrt (fmod (expm1 (log1p (cosh c))) (log1p a))))))

prune925.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 31.9b

regimes892.0ms

Accuracy

0% (1.6b remaining)

Error of 34.3b against oracle of 32.7b and baseline of 34.3b

bsearch2.0ms

end0.0ms

sample17.1s

Algorithm
intervals
Results
12.5s7919×body10240exit
2.0s2315×body1280valid
794.0ms1618×body640valid
410.0ms5291×body80nan
336.0ms738×body320valid
281.0ms2755×body80valid
252.0ms159×body2560valid
78.0ms410×body160valid
12.0ms5×body5120valid