Details

Time bar (total: 23.1s)

sample74.0ms

Algorithm
intervals
Results
49.0ms432×body80valid

simplify4.8s

Counts
1 → 1
Iterations

Useful iterations: 5 (275.0ms)

IterNodesCost
01119
12019
24517
310817
424513
562311
6134611
7374011
done500111

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.4b

localize13.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.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
0.2b
(* (+ (* x.re x.im) (* x.im x.re)) x.re)
7.0b
(* (- (* x.re x.re) (* x.im x.im)) x.im)

rewrite104.0ms

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

series281.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(- (* x.re x.re) (* x.im x.im))
111.0ms
(+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
36.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.re)
99.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.im)

simplify1.4s

Counts
81 → 81
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01381527
14021415
216971163
done50001081

prune324.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
44×associate-*l/
19×flip3-+ flip-+
16×frac-add
15×add-sqr-sqrt
13×pow1 add-exp-log *-un-lft-identity add-cbrt-cube
12×frac-times associate-*l*
10×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×+-commutative sum-log distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
4 → 96
Calls
4 calls:
27.0ms
(* (- x.re x.im) x.im)
88.0ms
(+ (* (+ x.re x.im) (* (- x.re x.im) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
23.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.re)
64.0ms
(* (+ x.re x.im) (* (- x.re x.im) x.im))

series298.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(* (- x.re x.im) x.im)
129.0ms
(+ (* (+ x.re x.im) (* (- x.re x.im) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
23.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.re)
91.0ms
(* (+ x.re x.im) (* (- x.re x.im) x.im))

simplify4.4s

Counts
108 → 108
Iterations

Useful iterations: done (4.4s)

IterNodesCost
02102695
17262477
238592007
done50001585

prune406.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*r/ associate-*l/
20×flip3-+ flip-+
16×frac-add
12×frac-times
11×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
9×flip3-- *-un-lft-identity flip--
8×distribute-rgt-in distribute-lft-in associate-*l* add-log-exp
7×add-cube-cbrt
4×associate-+l+ associate-*r* pow-prod-down prod-exp cbrt-unprod
2×+-commutative sum-log *-commutative
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 94
Calls
4 calls:
18.0ms
(+ (* x.re x.im) (* x.im x.re))
79.0ms
(+ (* (- x.re x.im) (* x.im (+ x.re x.im))) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
41.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.re)
72.0ms
(* (- x.re x.im) (* x.im (+ x.re x.im)))

series226.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(+ (* x.re x.im) (* x.im x.re))
82.0ms
(+ (* (- x.re x.im) (* x.im (+ x.re x.im))) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
32.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.re)
88.0ms
(* (- x.re x.im) (* x.im (+ x.re x.im)))

simplify4.2s

Counts
106 → 106
Iterations

Useful iterations: done (4.2s)

IterNodesCost
02082797
17192575
236502067
done50011639

prune378.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite293.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*l/
20×associate-*r/ frac-add
19×pow1 add-exp-log add-cbrt-cube
12×add-sqr-sqrt flip3-- flip--
11×*-un-lft-identity
9×associate-*r* pow-prod-down prod-exp cbrt-unprod add-log-exp
8×flip3-+ flip-+
7×add-cube-cbrt associate-*l*
3×sum-log *-commutative
2×distribute-rgt-in sub-neg distribute-lft-in distribute-lft-out-- difference-of-squares
1×+-commutative associate-+r+ unswap-sqr
Counts
4 → 94
Calls
4 calls:
161.0ms
(+ (* (- x.re x.im) (* x.re x.im)) (+ (* (* x.re (+ x.im x.im)) x.re) (* (* x.im x.im) (- x.re x.im))))
39.0ms
(* (* x.re (+ x.im x.im)) x.re)
40.0ms
(* (- x.re x.im) (* x.re x.im))
46.0ms
(* (* x.im x.im) (- x.re x.im))

series258.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(+ (* (- x.re x.im) (* x.re x.im)) (+ (* (* x.re (+ x.im x.im)) x.re) (* (* x.im x.im) (- x.re x.im))))
28.0ms
(* (* x.re (+ x.im x.im)) x.re)
64.0ms
(* (- x.re x.im) (* x.re x.im))
68.0ms
(* (* x.im x.im) (- x.re x.im))

simplify2.9s

Counts
106 → 106
Iterations

Useful iterations: 2 (1.2s)

IterNodesCost
02232555
17852233
234771741
done50011741

prune333.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes104.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01223
11923
done1923

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.4s14464×body80valid