Details

Time bar (total: 52.4s)

sample87.0ms

Algorithm
intervals
Results
71.0ms476×body80valid

simplify334.0ms

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

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.6b

localize18.0ms

Local error

Found 4 expressions with local error:

6.7b
(* x.re (- (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (* x.im x.im)))
0.1b
(- (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (* x.im x.im))
0.0b
(- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im))
0.0b
(- (* x.re x.re) (* x.im x.im))

rewrite624.0ms

Algorithm
rewrite-expression-head
Rules
20×associate--l+ add-log-exp
12×sub-neg
11×add-sqr-sqrt
10×diff-log
6×distribute-rgt-in pow1 *-un-lft-identity distribute-lft-in add-cbrt-cube add-exp-log add-cube-cbrt
4×flip3-- associate-*r* insert-posit16 flip-- difference-of-squares
3×associate-*l*
2×associate--l- associate-*r/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 87
Calls
4 calls:
Slowest
390.0ms
(* x.re (- (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (* x.im x.im)))
179.0ms
(- (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (* x.im x.im))
38.0ms
(- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im))
14.0ms
(- (* x.re x.re) (* x.im x.im))

series255.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
85.0ms
(* x.re (- (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (* x.im x.im)))
61.0ms
(- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im))
60.0ms
(- (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (* x.im x.im))
49.0ms
(- (* x.re x.re) (* x.im x.im))

simplify10.1s

Counts
57 → 99
Calls
57 calls:
Slowest
968.0ms
(+ (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (* x.im x.im))
853.0ms
(/ (/ (/ (exp (* x.re x.re)) (exp (* x.im x.im))) (exp (* x.im x.im))) (exp (* x.im x.im)))
520.0ms
(/ (exp (- (* x.re x.re) (* x.im x.im))) (exp (* x.im x.im)))
437.0ms
(+ (* (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im))) (+ (* (* x.im x.im) (* x.im x.im)) (* (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (* x.im x.im))))
364.0ms
(* x.re (- (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (* x.im x.im)))

prune750.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 6.6b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite274.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
11×add-log-exp
10×associate-*l*
8×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
6×associate-*r*
4×insert-posit16
3×distribute-lft-neg-out diff-log
2×sub-neg flip3-- pow-prod-down associate-*l/ prod-exp associate--l+ *-commutative cbrt-unprod flip-- difference-of-squares unswap-sqr
1×associate--l- distribute-lft-neg-in +-commutative neg-mul-1 sum-log distribute-rgt-neg-in flip3-+ distribute-rgt-out unsub-neg flip-+
Counts
4 → 78
Calls
4 calls:
Slowest
133.0ms
(* (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) x.re)
87.0ms
(+ (* (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) x.re) (* (- (* x.im x.im)) x.re))
33.0ms
(- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im))
19.0ms
(* (- (* x.im x.im)) x.re)

series249.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
85.0ms
(* (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) x.re)
65.0ms
(+ (* (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) x.re) (* (- (* x.im x.im)) x.re))
59.0ms
(- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im))
39.0ms
(* (- (* x.im x.im)) x.re)

simplify7.3s

Counts
46 → 90
Calls
46 calls:
Slowest
819.0ms
(* (* (* (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im)) (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im))) (- (- (* x.re x.re) (* x.im x.im)) (* x.im x.im))) (* (* x.re x.re) x.re))
522.0ms
(/ (exp (- (* x.re x.re) (* x.im x.im))) (exp (* x.im x.im)))
451.0ms
(* (- (* (- (* x.re x.re) (* x.im x.im)) (- (* x.re x.re) (* x.im x.im))) (* (* x.im x.im) (* x.im x.im))) x.re)
379.0ms
(- (pow x.re 3) (* 2 (* (pow x.im 2) x.re)))
377.0ms
(- (pow x.re 3) (* 3 (* (pow x.im 2) x.re)))

prune809.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 6.6b

localize22.0ms

Local error

Found 4 expressions with local error:

6.7b
(* (- (* 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))

rewrite117.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
42.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)
34.0ms
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
26.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
14.0ms
(+ (* x.re x.im) (* x.im x.re))

series189.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
59.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)
54.0ms
(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
38.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
37.0ms
(+ (* x.re x.im) (* x.im x.re))

simplify6.7s

Counts
45 → 84
Calls
45 calls:
Slowest
548.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)))
409.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)))
374.0ms
(- (pow x.re 3) (* 3 (* (pow x.im 2) x.re)))
363.0ms
(- (pow x.re 3) (* 3 (* (pow x.im 2) x.re)))
333.0ms
(* (- (* x.re x.re) (* x.im x.im)) x.re)

prune905.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite182.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
4×insert-posit16
3×*-commutative
2×unswap-sqr
1×sub-neg diff-log distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
4 → 101
Calls
4 calls:
Slowest
64.0ms
(* (+ x.re x.im) (* (- x.re x.im) x.re))
60.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)
19.0ms
(* (- x.re x.im) x.re)

series289.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
102.0ms
(- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
85.0ms
(* (+ x.re x.im) (* (- x.re x.im) x.re))
53.0ms
(* (+ (* x.re x.im) (* x.im x.re)) x.im)
50.0ms
(* (- x.re x.im) x.re)

simplify19.0s

Counts
88 → 113
Calls
88 calls:
Slowest
859.0ms
(- (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- (pow x.re 3) (pow x.im 3)) 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.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)))
842.0ms
(* (* (- x.re x.im) (+ (* 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)))))
757.0ms
(- (* (* (- (* x.re x.re) (* x.im x.im)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (* (- x.re x.im) (+ (* 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)))
732.0ms
(- (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- (* x.re x.re) (* x.im 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)) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im)))
639.0ms
(* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ (* 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)))))

prune1.0s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

regimes127.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.7s14509×body80valid