Details

Time bar (total: 17.3s)

sample38.0ms

Algorithm
intervals
Results
22.0ms484×body80valid

simplify3.3s

Counts
1 → 1
Iterations

Useful iterations: 5 (788.0ms)

IterNodesCost
01119
12418
26617
318017
453314
5195411
done500011

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 2 expressions with local error:

0.1b
(fma x.im (* 3 (* (- x.im) x.re)) (pow x.re 3))
0.2b
(* 3 (* (- x.im) x.re))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u log1p-expm1-u add-log-exp
1×distribute-lft-neg-out associate-*r* *-commutative distribute-rgt-neg-out fma-udef
Counts
2 → 31
Calls
2 calls:
0.0ms
(fma x.im (* 3 (* (- x.im) x.re)) (pow x.re 3))
34.0ms
(* 3 (* (- x.im) x.re))

series175.0ms

Counts
2 → 6
Calls
2 calls:
144.0ms
(fma x.im (* 3 (* (- x.im) x.re)) (pow x.re 3))
31.0ms
(* 3 (* (- x.im) x.re))

simplify784.0ms

Counts
37 → 37
Iterations

Useful iterations: done (782.0ms)

IterNodesCost
059382
1147361
2647294
done5000289

prune139.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.1b
(fma x.im (* (* -3 x.im) x.re) (pow x.re 3))
0.2b
(* (* -3 x.im) x.re)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u log1p-expm1-u add-log-exp
1×associate-*l* *-commutative fma-udef
Counts
2 → 30
Calls
2 calls:
1.0ms
(fma x.im (* (* -3 x.im) x.re) (pow x.re 3))
37.0ms
(* (* -3 x.im) x.re)

series147.0ms

Counts
2 → 6
Calls
2 calls:
114.0ms
(fma x.im (* (* -3 x.im) x.re) (pow x.re 3))
33.0ms
(* (* -3 x.im) x.re)

simplify916.0ms

Counts
36 → 36
Iterations

Useful iterations: done (914.0ms)

IterNodesCost
059341
1143328
2856288
done5000283

prune105.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3))) (cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3))))
16.6b
(cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3)))
16.6b
(cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3)))
16.6b
(cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u add-cbrt-cube 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 → 81
Calls
4 calls:
23.0ms
(* (cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3))) (cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3))))
2.0ms
(cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3)))
2.0ms
(cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3)))
2.0ms
(cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3)))

series817.0ms

Counts
4 → 12
Calls
4 calls:
208.0ms
(* (cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3))) (cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3))))
194.0ms
(cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3)))
245.0ms
(cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3)))
170.0ms
(cbrt (fma x.im (* (* -3 x.im) x.re) (pow x.re 3)))

simplify4.9s

Counts
93 → 93
Iterations

Useful iterations: done (4.9s)

IterNodesCost
0951990
12141849
26961692
340421447
done50001430

prune414.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x.re x.im) (* x.im x.re))
0.1b
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.2b
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
6.7b
(* (- (* x.re x.re) (* x.im x.im)) x.re)

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt associate-*l/
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
7×associate-*l*
6×associate-*r*
4×expm1-log1p-u flip3-- flip3-+ frac-sub flip-- flip-+ log1p-expm1-u
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×+-commutative sub-neg fma-def fma-neg diff-log prod-diff sum-log difference-of-squares
Counts
4 → 79
Calls
4 calls:
15.0ms
(+ (* x.re x.im) (* x.im x.re))
63.0ms
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
48.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
40.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)

series244.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(+ (* x.re x.im) (* x.im x.re))
74.0ms
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
58.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
70.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)

simplify2.2s

Counts
91 → 91
Iterations

Useful iterations: done (2.2s)

IterNodesCost
01491671
14441475
229261189
done50001186

prune321.0ms

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 0b

regimes115.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 3 (3.0ms)

IterNodesCost
0811
11211
22011
32510
42710
done2710

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.8s14480×body80valid