Details

Time bar (total: 10.8s)

sample69.0ms

Algorithm
intervals
Results
53.0ms468×body80valid

simplify383.0ms

Counts
1 → 1

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize36.0ms

Local error

Found 3 expressions with local error:

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

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1
16×*-un-lft-identity
13×add-cbrt-cube associate-*r* add-exp-log
12×add-sqr-sqrt
8×add-cube-cbrt distribute-lft-out
6×pow-prod-down prod-exp cbrt-unprod
5×pow-prod-up add-log-exp
4×associate-*l* distribute-rgt1-in
3×expm1-log1p-u distribute-rgt-out insert-posit16 log1p-expm1-u
2×distribute-rgt-in distribute-lft-in distribute-lft1-in associate-*r/ *-commutative associate--r+
1×pow2 sub-neg flip3-+ pow-plus flip3-- fma-neg diff-log cube-unmult prod-diff pow-sqr flip-+ flip-- unswap-sqr
Counts
3 → 80
Calls
3 calls:
Slowest
54.0ms
(* (* x.re x.im) (+ x.im (+ x.im x.im)))
37.0ms
(- (* x.re (* x.re x.re)) (* (* x.re x.im) (+ x.im (+ x.im x.im))))
21.0ms
(* x.re (* x.re x.re))

series140.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
62.0ms
(- (* x.re (* x.re x.re)) (* (* x.re x.im) (+ x.im (+ x.im x.im))))
47.0ms
(* x.re (* x.re x.re))
31.0ms
(* (* x.re x.im) (+ x.im (+ x.im x.im)))

simplify480.0ms

Counts
92 → 89

prune795.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 2 expressions with local error:

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
15×add-sqr-sqrt
12×fma-neg associate-*r* prod-diff add-cube-cbrt
8×distribute-lft-out
7×pow1 add-cbrt-cube add-exp-log
6×unpow-prod-down cube-prod
4×distribute-rgt1-in add-log-exp
3×distribute-rgt-out pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in expm1-log1p-u cube-mult distribute-lft-in distribute-lft1-in unpow3 associate-*r/ insert-posit16 log1p-expm1-u associate--r+ sqr-pow
1×sub-neg flip3-+ flip3-- diff-log associate-*l* *-commutative flip-+ flip--
Counts
2 → 75
Calls
2 calls:
Slowest
47.0ms
(* (* x.re x.im) (+ x.im (+ x.im x.im)))
30.0ms
(- (pow x.re 3) (* (* x.re x.im) (+ x.im (+ x.im x.im))))

series120.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
79.0ms
(- (pow x.re 3) (* (* x.re x.im) (+ x.im (+ x.im x.im))))
41.0ms
(* (* x.re x.im) (+ x.im (+ x.im x.im)))

simplify461.0ms

Counts
96 → 81

prune723.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
48×prod-diff
44×add-sqr-sqrt
41×*-un-lft-identity
37×add-cube-cbrt
16×unpow-prod-down distribute-rgt-out cube-prod
14×pow1 add-cbrt-cube associate-*l* add-exp-log
12×fma-neg
11×add-log-exp
6×pow-prod-down prod-exp cbrt-unprod sqr-pow
5×cube-mult unpow3
4×expm1-log1p-u insert-posit16 log1p-expm1-u difference-of-squares
3×distribute-lft-out
2×sum-log flip3-+ diff-log associate-*r* associate-*l/ *-commutative flip-+
1×+-commutative sub-neg fma-def distribute-lft1-in flip3-- distribute-rgt1-in flip-- associate--r+ distribute-lft-out--
Counts
4 → 150
Calls
4 calls:
Slowest
62.0ms
(- (pow x.re 3) (+ (* x.im (* x.re x.im)) (* (+ x.im x.im) (* x.re x.im))))
48.0ms
(* (+ x.im x.im) (* x.re x.im))
17.0ms
(+ (* x.im (* x.re x.im)) (* (+ x.im x.im) (* x.re x.im)))
16.0ms
(* x.im (* x.re x.im))

series214.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
91.0ms
(- (pow x.re 3) (+ (* x.im (* x.re x.im)) (* (+ x.im x.im) (* x.re x.im))))
49.0ms
(+ (* x.im (* x.re x.im)) (* (+ x.im x.im) (* x.re x.im)))
40.0ms
(* (+ x.im x.im) (* x.re x.im))
34.0ms
(* x.im (* x.re x.im))

simplify619.0ms

Counts
214 → 162

prune1.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize36.0ms

Local error

Found 3 expressions with local error:

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

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
36×*-un-lft-identity prod-diff
32×add-cube-cbrt
13×unpow-prod-down cube-prod
12×fma-neg
11×associate-*l*
8×pow1 add-cbrt-cube add-exp-log
5×add-log-exp sqr-pow
4×cube-mult unpow3 difference-of-squares
3×expm1-log1p-u distribute-rgt-out pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u distribute-lft-out
2×associate-*l/ fma-udef
1×sub-neg distribute-lft1-in flip3-+ flip3-- diff-log associate-*r* distribute-rgt1-in *-commutative flip-+ flip-- associate--r+ distribute-lft-out--
Counts
3 → 111
Calls
3 calls:
Slowest
29.0ms
(* (+ x.im x.im) (* x.re x.im))
19.0ms
(- (pow x.re 3) (fma x.im (* x.re x.im) (* (+ x.im x.im) (* x.re x.im))))
0.0ms
(fma x.im (* x.re x.im) (* (+ x.im x.im) (* x.re x.im)))

series214.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
121.0ms
(- (pow x.re 3) (fma x.im (* x.re x.im) (* (+ x.im x.im) (* x.re x.im))))
66.0ms
(fma x.im (* x.re x.im) (* (+ x.im x.im) (* x.re x.im)))
26.0ms
(* (+ x.im x.im) (* x.re x.im))

simplify546.0ms

Counts
161 → 120

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes91.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.6s14526×body80valid