Details

Time bar (total: 44.5s)

sample103.0ms

Algorithm
intervals
Results
87.0ms453×body80valid

simplify220.0ms

Calls
1 calls:
Slowest
219.0ms
(+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re))

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.4b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
12×associate-*l/
8×add-log-exp
7×associate-*l*
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 flip3-+ flip3-- add-cbrt-cube frac-add add-exp-log flip-+ insert-posit16 flip--
2×*-commutative difference-of-squares
1×+-commutative sum-log sub-neg diff-log
Calls
4 calls:
Slowest
16.0ms
(+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
6.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.re)
5.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.im)
5.0ms
(- (* x.re x.re) (* x.im x.im))

series152.0ms

Calls
4 calls:
Slowest
58.0ms
(+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
49.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.im)
26.0ms
(- (* x.re x.re) (* x.im x.im))
19.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.re)

simplify4.5s

Calls
33 calls:
Slowest
525.0ms
(+ (* (* (- (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)) 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))))) (* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.re)))
418.0ms
(* (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))) x.im)
409.0ms
(+ (* (* (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))) 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))))) (* (+ (* x.re x.re) (* x.im x.im)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.re)))
394.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)))
309.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.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))))

prune699.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
42×associate-*l/
20×flip3-+ flip-+
16×frac-add
12×frac-times
9×flip3-- flip--
8×add-log-exp
6×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube associate-*l* associate-*r/ add-exp-log add-cube-cbrt
4×insert-posit16
2×+-commutative sum-log *-commutative
1×associate-*r* pow-prod-down prod-exp cbrt-unprod
Calls
4 calls:
Slowest
18.0ms
(* (+ x.re x.im) (* (- x.re x.im) x.im))
16.0ms
(+ (* (+ x.re x.im) (* (- x.re x.im) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
9.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.re)
2.0ms
(+ (* x.re x.im) (* x.im x.re))

series133.0ms

Calls
4 calls:
Slowest
62.0ms
(+ (* (+ x.re x.im) (* (- x.re x.im) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
40.0ms
(* (+ x.re x.im) (* (- x.re x.im) x.im))
19.0ms
(+ (* x.re x.im) (* x.im x.re))
12.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.re)

simplify14.2s

Calls
67 calls:
Slowest
673.0ms
(+ (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- (* x.re x.re) (* x.im x.im)) 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))))) (* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ x.re x.im)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.re)))
613.0ms
(+ (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- x.re x.im) 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))))) (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.re)))
573.0ms
(+ (* (* (+ x.re x.im) (* (- (pow x.re 3) (pow x.im 3)) 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))))) (* (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.re)))
565.0ms
(* (* (- x.re x.im) (+ x.re x.im)) (- (* x.re x.im) (* x.im x.re)))
528.0ms
(* (- x.re x.im) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im))))

prune871.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

12.8b
(cbrt (+ (* x.re x.im) (* x.im x.re)))
12.8b
(cbrt (+ (* x.re x.im) (* x.im x.re)))
12.8b
(cbrt (+ (* x.re x.im) (* x.im x.re)))
0.5b
(* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 flip3-+ flip-+
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
10.0ms
(* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))
4.0ms
(cbrt (+ (* x.re x.im) (* x.im x.re)))
3.0ms
(cbrt (+ (* x.re x.im) (* x.im x.re)))
3.0ms
(cbrt (+ (* x.re x.im) (* x.im x.re)))

series549.0ms

Calls
4 calls:
Slowest
162.0ms
(* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))
133.0ms
(cbrt (+ (* x.re x.im) (* x.im x.re)))
128.0ms
(cbrt (+ (* x.re x.im) (* x.im x.re)))
125.0ms
(cbrt (+ (* x.re x.im) (* x.im x.re)))

simplify8.8s

Calls
59 calls:
Slowest
655.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))))
650.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)))))
639.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))))))
623.0ms
(* (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))))))
424.0ms
(cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)))

prune1.0s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*l/
18×cbrt-div
9×pow1 flip3-+ flip-+
7×pow1/3
6×add-sqr-sqrt *-un-lft-identity add-exp-log add-cube-cbrt
5×cbrt-prod
4×frac-times add-cbrt-cube associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
13.0ms
(* (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.re)))
5.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.re))
5.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.re))
4.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.re))

series539.0ms

Calls
4 calls:
Slowest
182.0ms
(* (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.re)))
128.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.re))
116.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.re))
112.0ms
(cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.re))

simplify8.8s

Calls
49 calls:
Slowest
681.0ms
(* (exp (* -1/3 (+ (* 2 (log (/ -1 x.re))) (log (/ -1 x.im))))) (cbrt -2))
636.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)))))
597.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))))))
584.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))))
543.0ms
(* (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))))))

prune940.0ms

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 0.0b

regimes141.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
2.3s14279×body80valid