Details

Time bar (total: 7.7s)

sample37.0ms

Algorithm
intervals
Results
16.0ms298×body80valid

simplify91.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
089
1177
2377
3647
4727
done727

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* 3.141592653 f) (* (* y 6.283185307) f))
0.5b
(* (* y 6.283185307) f)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
pow1 add-cbrt-cube add-exp-log
add-log-exp
add-sqr-sqrt *-un-lft-identity associate-*r* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
sub-neg flip3-- distribute-rgt-out-- diff-log associate-*l* *-commutative flip--
Counts
2 → 31
Calls
2 calls:
17.0ms
(- (* 3.141592653 f) (* (* y 6.283185307) f))
33.0ms
(* (* y 6.283185307) f)

series160.0ms

Counts
2 → 6
Calls
2 calls:
110.0ms
(- (* 3.141592653 f) (* (* y 6.283185307) f))
50.0ms
(* (* y 6.283185307) f)

simplify1.3s

Counts
37 → 37
Iterations

Useful iterations: done (1.3s)

IterNodesCost
065382
1182324
21059290
done5000288

prune154.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* 3.141592653 f) (pow (* y (* 6.283185307 f)) 1))
0.2b
(* y (* 6.283185307 f))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
pow1 add-cbrt-cube add-exp-log
add-log-exp
add-sqr-sqrt *-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
sub-neg flip3-- diff-log associate-*r* *-commutative flip--
Counts
2 → 30
Calls
2 calls:
17.0ms
(- (* 3.141592653 f) (pow (* y (* 6.283185307 f)) 1))
31.0ms
(* y (* 6.283185307 f))

series160.0ms

Counts
2 → 6
Calls
2 calls:
121.0ms
(- (* 3.141592653 f) (pow (* y (* 6.283185307 f)) 1))
39.0ms
(* y (* 6.283185307 f))

simplify4.3s

Counts
36 → 36
Iterations

Useful iterations: 3 (1.8s)

IterNodesCost
065414
1172350
2741284
34391282
done5000282

prune142.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes165.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
11710
22510
done2510

end0.0ms

sample990.0ms

Algorithm
intervals
Results
593.0ms9167×body80valid