Details

Time bar (total: 13.8s)

sample70.0ms

Algorithm
intervals
Results
44.0ms463×body80valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done5001
51689
4447
3160
258
121
011

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.9b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite127.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*
5×flip3-- flip--
4×frac-sub
3×flip3-+ flip-+
2×sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod difference-of-squares unswap-sqr
Counts
4 → 70
Calls
4 calls:
12.0ms
(- (* x.re x.re) (* x.im x.im))
44.0ms
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
30.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
36.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)

series234.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(- (* x.re x.re) (* x.im x.im))
77.0ms
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
41.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
62.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)

simplify2.3s

Counts
82 → 82
Iterations
IterNodes
done5002
23204
1430
0139

prune359.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
44×associate-*l/
18×flip3-+ flip-+
16×frac-sub
15×add-sqr-sqrt
13×pow1 *-un-lft-identity add-cbrt-cube add-exp-log
12×frac-times associate-*l*
11×flip3-- flip--
9×add-cube-cbrt
7×associate-*r*
6×associate-*r/ add-log-exp
5×pow-prod-down prod-exp cbrt-unprod
3×*-commutative
2×unswap-sqr
1×sub-neg diff-log distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
4 → 97
Calls
4 calls:
21.0ms
(* (- x.re x.im) x.re)
53.0ms
(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
37.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
60.0ms
(* (+ x.re x.im) (* (- x.re x.im) x.re))

series256.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(* (- x.re x.im) x.re)
105.0ms
(- (* (+ x.re x.im) (* (- x.re 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)
63.0ms
(* (+ x.re x.im) (* (- x.re x.im) x.re))

simplify412.0ms

Counts
109 → 109
Iterations
IterNodes
done5000
1752
0211

prune564.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x.im (+ x.re x.re)) (cbrt x.im))
0.6b
(cbrt x.im)
0.6b
(cbrt x.im)
0.6b
(cbrt x.im)

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
9×add-sqr-sqrt pow1 *-un-lft-identity add-exp-log add-cube-cbrt
7×add-cbrt-cube
6×associate-*r*
4×add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod
2×associate-*l/ associate-*r/
1×flip3-+ associate-*l* *-commutative flip-+
Counts
4 → 56
Calls
4 calls:
40.0ms
(* (* x.im (+ x.re x.re)) (cbrt x.im))
1.0ms
(cbrt x.im)
1.0ms
(cbrt x.im)
1.0ms
(cbrt x.im)

series1.0s

Counts
4 → 12
Calls
4 calls:
185.0ms
(* (* x.im (+ x.re x.re)) (cbrt x.im))
275.0ms
(cbrt x.im)
288.0ms
(cbrt x.im)
251.0ms
(cbrt x.im)

simplify699.0ms

Counts
68 → 68
Iterations
IterNodes
done5001
21148
1214
076

prune400.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (cbrt x.im) 2) x.re)
0.6b
(cbrt x.im)
0.6b
(cbrt x.im)
0.6b
(cbrt x.im)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod pow1 add-exp-log
8×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-cube-cbrt
4×add-log-exp
3×pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 51
Calls
4 calls:
19.0ms
(* (* (cbrt x.im) 2) x.re)
1.0ms
(cbrt x.im)
1.0ms
(cbrt x.im)
1.0ms
(cbrt x.im)

series946.0ms

Counts
4 → 12
Calls
4 calls:
144.0ms
(* (* (cbrt x.im) 2) x.re)
271.0ms
(cbrt x.im)
278.0ms
(cbrt x.im)
252.0ms
(cbrt x.im)

simplify906.0ms

Counts
63 → 63
Iterations
IterNodes
done5000
2656
1149
062

prune328.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes137.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done20
320
218
116
011

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.7s14433×body80valid