Details

Time bar (total: 41.2s)

sample1.6s

Algorithm
intervals
Results
809.0ms226×body10240exit
375.0ms113×body2560valid
136.0ms80×body1280valid
62.0ms408×body80nan
39.0ms35×body640valid
13.0ms19×body320valid
2.0ms5×body160valid
1.0ms4×body80valid

simplify118.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 61.0b

localize23.0ms

Local error

Found 2 expressions with local error:

59.9b
(fmod (cosh a) (* a a))
1.2b
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))

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

series11.0ms

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

simplify221.0ms

Counts
6 → 27
Calls
6 calls:
Slowest
66.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
64.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
48.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
25.0ms
(fmod (cosh a) (pow a 2))
8.0ms
(fmod (cosh a) (pow a 2))

prune348.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 59.7b

localize25.0ms

Local error

Found 3 expressions with local error:

59.9b
(fmod (cosh a) (* a a))
8.5b
(log (exp (fmod (cosh a) (* a a))))
1.2b
(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))

rewrite6.0ms

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

series12.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
5.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))))

simplify398.0ms

Counts
16 → 48
Calls
16 calls:
Slowest
80.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
54.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
52.0ms
(log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
51.0ms
(acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
36.0ms
(log (sqrt (exp (fmod (cosh a) (* a a)))))

prune531.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 59.7b

localize29.0ms

Local error

Found 4 expressions with local error:

59.9b
(fmod (cosh a) (* a a))
59.9b
(fmod (cosh a) (* a a))
59.9b
(fmod (cosh a) (* a a))
8.3b
(log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt add-log-exp
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×log-prod log-pow
1×exp-prod exp-to-pow rem-log-exp
Counts
4 → 47
Calls
4 calls:
Slowest
3.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))

series161.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
155.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))

simplify684.0ms

Counts
18 → 59
Calls
18 calls:
Slowest
140.0ms
(log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))
121.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))))))))
98.0ms
(pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
94.0ms
(pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
72.0ms
(pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)

prune830.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 59.7b

localize55.0ms

Local error

Found 4 expressions with local error:

59.9b
(fmod (cosh a) (* a a))
59.9b
(fmod (cosh a) (* a a))
1.7b
(log (sqrt (exp (fmod (cosh a) (* a a)))))
1.7b
(log (sqrt (exp (fmod (cosh a) (* a a)))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
12×log-prod log-pow
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×pow1 sqrt-pow1
6×exp-prod add-exp-log sqrt-prod
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow1/2 rem-log-exp
Counts
4 → 66
Calls
4 calls:
Slowest
6.0ms
(log (sqrt (exp (fmod (cosh a) (* a a)))))
6.0ms
(log (sqrt (exp (fmod (cosh a) (* a a)))))
0.0ms
(fmod (cosh a) (* a a))
0.0ms
(fmod (cosh a) (* a a))

series299.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
156.0ms
(log (sqrt (exp (fmod (cosh a) (* a a)))))
136.0ms
(log (sqrt (exp (fmod (cosh a) (* a a)))))
3.0ms
(fmod (cosh a) (* a a))
3.0ms
(fmod (cosh a) (* a a))

simplify1.1s

Counts
34 → 78
Calls
34 calls:
Slowest
69.0ms
(log (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
59.0ms
(log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
57.0ms
(log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
54.0ms
(/ (sqrt (fmod (cosh a) (* a a))) 2)
49.0ms
(log (sqrt (exp (fmod (cosh a) (pow a 2)))))

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 59.7b

regimes266.0ms

Accuracy

0% (0.4b remaining)

Error of 59.5b against oracle of 59.1b and baseline of 59.5b

bsearch3.0ms

end0.0ms

sample33.4s

Algorithm
intervals
Results
18.9s7973×body10240exit
7.2s3177×body2560valid
2.8s2484×body1280valid
2.1s15744×body80nan
1.2s1277×body640valid
626.0ms626×body320valid
121.0ms310×body160valid
22.0ms126×body80valid
20.0ms8×body5120nan
14.0ms10×body2560nan
5.0ms6×body1280nan
5.0ms8×body640nan
3.0ms7×body320nan
2.0ms7×body160nan