Details

Time bar (total: 48.4s)

sample1.1s

Algorithm
intervals
Results
540.0ms86×body10240exit
249.0ms65×body1280valid
104.0ms46×body640valid
55.0ms28×body320valid
27.0ms104×body80valid
7.0ms13×body160valid

simplify7.0ms

Counts
1 → 1
Iterations
IterNodes
18
08

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.5b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(expm1 a)
0.0b
(expm1 (sin (expm1 a)))
0.1b
(sin (expm1 a))
34.9b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
6×log1p-expm1-u
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 add-log-exp
3×expm1-udef
2×expm1-log1p
1×sin-diff
Counts
4 → 45
Calls
4 calls:
0.0ms
(expm1 a)
0.0ms
(expm1 (sin (expm1 a)))
3.0ms
(sin (expm1 a))
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series303.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(expm1 a)
155.0ms
(expm1 (sin (expm1 a)))
112.0ms
(sin (expm1 a))
9.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify5.5s

Counts
57 → 57
Iterations
IterNodes
54128
41492
3551
2243
1128
078

prune852.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 29.6b

localize66.0ms

Local error

Found 4 expressions with local error:

0.1b
(sin (expm1 a))
34.9b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.9b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.9b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
4×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×sin-diff expm1-udef
Counts
4 → 41
Calls
4 calls:
3.0ms
(sin (expm1 a))
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series98.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(sin (expm1 a))
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify2.7s

Counts
53 → 53
Iterations
IterNodes
62636
51471
4630
3238
2115
171
046

prune886.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 29.3b

localize90.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
34.9b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.9b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
35.0b
(fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
16×cbrt-prod
12×*-un-lft-identity add-cube-cbrt
11×pow1
6×pow1/3 swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
27.0ms
(* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.0ms
(fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)

series240.0ms

Counts
4 → 12
Calls
4 calls:
227.0ms
(* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
4.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
5.0ms
(fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)

simplify4.4s

Counts
85 → 85
Iterations
IterNodes
56206
41774
3807
2378
1171
093

prune2.5s

Pruning

30 alts after pruning (29 fresh and 1 done)

Merged error: 29.1b

localize115.0ms

Local error

Found 4 expressions with local error:

0.8b
(cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
34.9b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.9b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
35.0b
(fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
4×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×cbrt-prod pow1/3
Counts
4 → 42
Calls
4 calls:
6.0ms
(cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.0ms
(fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)

series225.0ms

Counts
4 → 12
Calls
4 calls:
218.0ms
(cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.0ms
(fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)

simplify893.0ms

Counts
54 → 54
Iterations
IterNodes
52180
4964
3498
2233
1114
068

prune1.2s

Pruning

35 alts after pruning (34 fresh and 1 done)

Merged error: 29.0b

regimes956.0ms

Accuracy

0% (1.6b remaining)

Error of 33.7b against oracle of 32.1b and baseline of 33.7b

bsearch0.0ms

simplify16.0ms

Iterations
IterNodes
229
129
025

end0.0ms

sample26.2s

Algorithm
intervals
Results
13.6s2633×body10240exit
7.9s2263×body1280valid
2.7s1701×body640valid
764.0ms830×body320valid
763.0ms2766×body80valid
223.0ms434×body160valid
20.0ms2×body5120valid
12.0ms4×body2560valid