Details

Time bar (total: 47.5s)

sample72.0ms

Algorithm
intervals
Results
59.0ms474×body80valid

simplify432.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
431.0ms
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.2b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt associate-*l/
8×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
7×associate-*l*
6×associate-*r*
4×flip3-+ flip3-- frac-sub flip-+ insert-posit16 flip--
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×+-commutative sum-log sub-neg diff-log difference-of-squares
Counts
4 → 72
Calls
4 calls:
Slowest
41.0ms
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
21.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)
19.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
14.0ms
(+ (* x.re x.im) (* x.im x.re))

series257.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
89.0ms
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
80.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)
55.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
33.0ms
(+ (* x.re x.im) (* x.im x.re))

simplify6.4s

Counts
45 → 84
Calls
45 calls:
Slowest
510.0ms
(- (* (* (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))) x.re) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (+ (* x.re x.re) (* x.im x.im)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im)))
493.0ms
(* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (- (* x.re x.im) (* x.im x.re)))
337.0ms
(- (pow x.re 3) (* 3 (* (pow x.im 2) x.re)))
310.0ms
(* (- (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)) x.re)
308.0ms
(* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im)

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite170.0ms

Algorithm
rewrite-expression-head
Rules
42×associate-*l/
19×flip3-+ flip-+
16×frac-sub
12×frac-times
11×pow1 add-cbrt-cube add-exp-log
10×flip3-- flip--
9×add-sqr-sqrt *-un-lft-identity
8×add-log-exp
7×associate-*l* add-cube-cbrt
6×associate-*r/
4×associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16
2×*-commutative
1×+-commutative sum-log sub-neg diff-log distribute-lft-out unswap-sqr
Counts
4 → 90
Calls
4 calls:
Slowest
83.0ms
(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
43.0ms
(* (+ x.re x.im) (* (- x.re x.im) x.re))
35.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
7.0ms
(+ (* x.re x.im) (* x.im x.re))

series222.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
82.0ms
(* (+ x.re x.im) (* (- x.re x.im) x.re))
67.0ms
(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
50.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
22.0ms
(+ (* x.re x.im) (* x.im x.re))

simplify17.6s

Counts
77 → 102
Calls
77 calls:
Slowest
754.0ms
(- (* (* (- (* x.re x.re) (* x.im x.im)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (* (- x.re x.im) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im)))
754.0ms
(- (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im)))
668.0ms
(* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))))
613.0ms
(- (* (* (- (* x.re x.re) (* x.im x.im)) (* (- x.re x.im) x.re)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (- x.re x.im) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im)))
611.0ms
(* (* (- x.re x.im) (+ x.re x.im)) (- (* x.re x.im) (* x.im x.re)))

prune923.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

26.7b
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
26.7b
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
26.7b
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.4b
(* (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*l/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-+ pow1/3 flip-+
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 76
Calls
4 calls:
Slowest
38.0ms
(* (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)))
22.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
14.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
14.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))

series709.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
202.0ms
(* (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)))
184.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
165.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
158.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))

simplify10.5s

Counts
63 → 88
Calls
63 calls:
Slowest
1.0s
(* (cbrt (- (* x.re x.im) (* x.im x.re))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))))
622.0ms
(cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))))
615.0ms
(* (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (- (* x.re x.im) (* x.im x.re))))
546.0ms
(* (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))))
492.0ms
(* (exp (* 1/3 (+ (* 4 (log x.im)) (* 2 (log x.re))))) (pow (cbrt 2) 2))

prune1.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

26.7b
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
26.7b
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
26.7b
(cbrt (* x.im (* x.im x.re)))
1.0b
(cbrt 2)

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-prod
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 cbrt-div add-cbrt-cube pow1/3 associate-*l/ add-exp-log insert-posit16 add-log-exp
2×flip3-+ flip-+
Counts
4 → 46
Calls
4 calls:
Slowest
16.0ms
(cbrt (* x.im (* x.im x.re)))
14.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
12.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
1.0ms
(cbrt 2)

series455.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
164.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
163.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))
128.0ms
(cbrt (* x.im (* x.im x.re)))
0.0ms
(cbrt 2)

simplify3.3s

Counts
20 → 56
Calls
20 calls:
Slowest
359.0ms
(exp (* 1/3 (+ (* 2 (log x.im)) (log x.re))))
336.0ms
(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (* (* (cbrt (* x.im (* x.im x.re))) (cbrt 2)) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))))
317.0ms
(exp (* -1/3 (+ (* 2 (log (/ 1 x.im))) (log (/ 1 x.re)))))
301.0ms
(* (cbrt 2) (exp (* -1/3 (+ (* 2 (log (/ 1 x.im))) (log (/ 1 x.re))))))
283.0ms
(* (cbrt 2) (exp (* -1/3 (+ (* 2 (log (/ 1 x.im))) (log (/ 1 x.re))))))

prune842.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

regimes203.0ms

Accuracy

0% (0.5b remaining)

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

bsearch5.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.6s14456×body80valid