Details

Time bar (total: 1.6m)

sample93.0ms

Algorithm
intervals
Results
62.0ms451×body80valid

simplify345.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.6b

localize29.0ms

Local error

Found 4 expressions with local error:

5.6b
(* (- (* 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.2b
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
0.0b
(+ (* x.re x.im) (* x.im x.re))

rewrite87.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
37.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)
21.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
7.0ms
(+ (* x.re x.im) (* x.im x.re))

series220.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
84.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)
71.0ms
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
43.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
22.0ms
(+ (* x.re x.im) (* x.im x.re))

simplify7.0s

Counts
45 → 84
Calls
45 calls:
Slowest
653.0ms
(* (- (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)) x.re)
565.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)))
400.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)))
364.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)
354.0ms
(- (* (* (- (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)) 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)))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im)))

prune765.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
26×associate-*r/
24×associate-*l/
18×distribute-rgt-in distribute-lft-in flip3-+ flip-+
16×frac-sub
15×add-sqr-sqrt
13×pow1 *-un-lft-identity add-cbrt-cube add-exp-log
12×frac-times
11×sub-neg flip3-- flip--
10×associate-*l*
9×associate-*r* add-cube-cbrt
8×associate--l+
6×add-log-exp
5×pow-prod-down prod-exp cbrt-unprod
4×insert-posit16
3×*-commutative
2×unswap-sqr
1×diff-log distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
4 → 121
Calls
4 calls:
Slowest
62.0ms
(* (+ x.im x.re) (* x.re (- x.re x.im)))
51.0ms
(- (* (+ x.im x.re) (* x.re (- x.re x.im))) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
35.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
16.0ms
(* x.re (- x.re x.im))

series305.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
106.0ms
(* (+ x.im x.re) (* x.re (- x.re x.im)))
103.0ms
(- (* (+ x.im x.re) (* x.re (- x.re x.im))) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
62.0ms
(* x.re (- x.re x.im))
34.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)

simplify20.3s

Counts
111 → 133
Calls
111 calls:
Slowest
1.0s
(- (* (* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (pow x.re 3) (pow x.im 3)))) (- (* x.re x.im) (* x.im x.re))) (* (* (- x.im x.re) (+ (* 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)))
904.0ms
(- (* (* (+ (pow x.im 3) (pow x.re 3)) (* x.re (- (pow x.re 3) (pow x.im 3)))) (- (* x.re x.im) (* x.im x.re))) (* (* (+ (* x.im x.im) (- (* x.re x.re) (* x.im x.re))) (+ (* 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)))
690.0ms
(- (pow x.re 3) (* 3 (* (pow x.im 2) x.re)))
669.0ms
(* (* (+ (* x.im x.im) (- (* x.re x.re) (* x.im x.re))) (+ (* 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)))))
665.0ms
(- (* (* (+ x.im x.re) (* x.re (- (* 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))))) (* (+ x.re x.im) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im)))

prune1.2s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

15.6b
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))
15.6b
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))
15.6b
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))
0.3b
(* (cbrt (* (+ x.im x.re) (* x.re (- x.re x.im)))) (cbrt (* (+ x.im x.re) (* x.re (- x.re x.im)))))

rewrite149.0ms

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

series769.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
239.0ms
(* (cbrt (* (+ x.im x.re) (* x.re (- x.re x.im)))) (cbrt (* (+ x.im x.re) (* x.re (- x.re x.im)))))
185.0ms
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))
178.0ms
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))
166.0ms
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))

simplify48.8s

Counts
213 → 178
Calls
213 calls:
Slowest
876.0ms
(* (cbrt (* (+ (pow x.im 3) (pow x.re 3)) (* x.re (- (* x.re x.re) (* x.im x.im))))) (cbrt (* (+ x.im x.re) (* x.re (- (* x.re x.re) (* x.im x.im))))))
742.0ms
(cbrt (* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (pow x.re 3) (pow x.im 3)))))
650.0ms
(* (cbrt (* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (pow x.re 3) (pow x.im 3))))) (cbrt (* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (pow x.re 3) (pow x.im 3))))))
611.0ms
(cbrt (* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (pow x.re 3) (pow x.im 3)))))
606.0ms
(cbrt (* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (pow x.re 3) (pow x.im 3)))))

prune2.9s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

15.6b
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))
15.6b
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))
10.1b
(cbrt (* x.re (- x.re x.im)))
0.6b
(cbrt (+ x.im x.re))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
20×cbrt-div
18×associate-*r/
8×frac-times
7×cbrt-prod *-un-lft-identity flip3-+ flip3-- flip-+ flip--
5×add-sqr-sqrt add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 associate-*l/ add-exp-log insert-posit16 add-log-exp
1×distribute-lft-out
Counts
4 → 63
Calls
4 calls:
Slowest
33.0ms
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))
18.0ms
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))
10.0ms
(cbrt (* x.re (- x.re x.im)))
8.0ms
(cbrt (+ x.im x.re))

series869.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
346.0ms
(cbrt (* x.re (- x.re x.im)))
187.0ms
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))
175.0ms
(cbrt (+ x.im x.re))
162.0ms
(cbrt (* (+ x.im x.re) (* x.re (- x.re x.im))))

simplify9.5s

Counts
39 → 75
Calls
39 calls:
Slowest
686.0ms
(cbrt (* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (pow x.re 3) (pow x.im 3)))))
656.0ms
(cbrt (* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (pow x.re 3) (pow x.im 3)))))
513.0ms
(cbrt (* (+ (pow x.im 3) (pow x.re 3)) (* x.re (- (pow x.re 3) (pow x.im 3)))))
486.0ms
(cbrt (* (+ (pow x.im 3) (pow x.re 3)) (* x.re (- (* x.re x.re) (* x.im x.im)))))
470.0ms
(cbrt (* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (* x.re x.re) (* x.im x.im)))))

prune1.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes132.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.8s14364×body80valid