Details

Time bar (total: 23.1s)

sample166.0ms

Algorithm
intervals
Results
57.0ms85×body1280valid
40.0ms299×body80valid
34.0ms78×body640valid
10.0ms37×body320valid
3.0ms18×body160valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done5001
5797
4204
3125
263
126
011

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (exp (- 0.0 im)) (exp im))
0.0b
(* (* (sin re) 0.5) (+ (exp (- 0.0 im)) (exp im)))

rewrite290.0ms

Algorithm
rewrite-expression-head
Rules
14×fma-def *-un-lft-identity
11×exp-sum
10×add-sqr-sqrt add-cube-cbrt
9×prod-diff
7×pow1 add-cbrt-cube add-exp-log
4×associate-*r* add-log-exp
3×pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u flip3-+ associate-*r/ flip-+ log1p-expm1-u distribute-lft-out
1×distribute-rgt-in +-commutative sum-log sub-neg distribute-lft-in associate-*l* *-commutative
Counts
2 → 53
Calls
2 calls:
91.0ms
(+ (exp (- 0.0 im)) (exp im))
195.0ms
(* (* (sin re) 0.5) (+ (exp (- 0.0 im)) (exp im)))

series146.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(+ (exp (- 0.0 im)) (exp im))
107.0ms
(* (* (sin re) 0.5) (+ (exp (- 0.0 im)) (exp im)))

simplify1.0s

Counts
59 → 59
Iterations
IterNodes
done5000
21618
1292
097

prune432.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp (- 0.0 im)) 3)
0.0b
(pow (exp im) 3)
0.3b
(/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))
5.0b
(- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))

rewrite547.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt *-un-lft-identity
26×add-cube-cbrt
22×exp-sum
19×prod-diff
17×unpow-prod-down cube-prod
15×add-cbrt-cube
13×add-exp-log
10×pow-pow
9×exp-diff
8×exp-prod associate-/r/
6×pow1 pow-unpow frac-add add-log-exp
4×expm1-log1p-u flip3-- associate-*r/ log1p-expm1-u flip--
3×cbrt-undiv associate-/r* sub-neg times-frac div-exp prod-exp cbrt-unprod
2×cube-mult frac-times pow-to-exp flip3-+ unpow3 associate-*l/ pow-exp flip-+ rem-cube-cbrt sqr-pow associate-/l/
1×cube-div clear-num frac-2neg distribute-rgt-out-- fma-neg diff-log div-inv associate-/l* distribute-lft-out-- difference-of-squares
Counts
4 → 133
Calls
4 calls:
37.0ms
(pow (exp (- 0.0 im)) 3)
7.0ms
(pow (exp im) 3)
469.0ms
(/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))
26.0ms
(- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))

series513.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(pow (exp (- 0.0 im)) 3)
25.0ms
(pow (exp im) 3)
369.0ms
(/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))
88.0ms
(- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))

simplify581.0ms

Counts
145 → 145
Iterations
IterNodes
done5001
11093
0305

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize136.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (- (pow (exp im) (* 2 2)) (* (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (exp im) (* (* (exp im) (+ (exp im) (exp (- 0.0 im)))) (exp (+ 0.0 (- 0.0 im)))))) (* (exp im) (+ (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))
0.3b
(* (exp (* 2 (- 0.0 im))) (exp (+ im im)))
0.5b
(/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (- (pow (exp im) (* 2 2)) (* (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (exp im) (* (* (exp im) (+ (exp im) (exp (- 0.0 im)))) (exp (+ 0.0 (- 0.0 im))))))
4.9b
(- (pow (exp im) (* 2 2)) (* (exp (* 2 (- 0.0 im))) (exp (+ im im))))

rewrite995.0ms

Algorithm
rewrite-expression-head
Rules
47×add-cbrt-cube
41×add-exp-log
32×associate-*l*
29×add-sqr-sqrt
26×*-un-lft-identity add-cube-cbrt
25×prod-diff
24×exp-sum
22×prod-exp cbrt-unprod
15×distribute-rgt-in distribute-lft-in
11×pow1
9×cbrt-undiv div-exp
8×associate-*r/
7×fma-neg add-log-exp
6×unpow-prod-down times-frac
5×associate-*r*
4×expm1-log1p-u pow-prod-down log1p-expm1-u
3×exp-prod associate-/r* sub-neg flip3-+ flip-+
2×frac-times count-2 *-commutative pow-prod-up div-inv unswap-sqr sqr-pow associate-/l/
1×clear-num frac-2neg flip3-- exp-to-pow diff-log associate-*l/ flip-- associate-/l*
Counts
4 → 146
Calls
4 calls:
609.0ms
(* (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (- (pow (exp im) (* 2 2)) (* (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (exp im) (* (* (exp im) (+ (exp im) (exp (- 0.0 im)))) (exp (+ 0.0 (- 0.0 im)))))) (* (exp im) (+ (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))
147.0ms
(* (exp (* 2 (- 0.0 im))) (exp (+ im im)))
207.0ms
(/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (- (pow (exp im) (* 2 2)) (* (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (exp im) (* (* (exp im) (+ (exp im) (exp (- 0.0 im)))) (exp (+ 0.0 (- 0.0 im))))))
25.0ms
(- (pow (exp im) (* 2 2)) (* (exp (* 2 (- 0.0 im))) (exp (+ im im))))

series1.6s

Counts
4 → 12
Calls
4 calls:
832.0ms
(* (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (- (pow (exp im) (* 2 2)) (* (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (exp im) (* (* (exp im) (+ (exp im) (exp (- 0.0 im)))) (exp (+ 0.0 (- 0.0 im)))))) (* (exp im) (+ (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))
107.0ms
(* (exp (* 2 (- 0.0 im))) (exp (+ im im)))
586.0ms
(/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (- (pow (exp im) (* 2 2)) (* (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (exp im) (* (* (exp im) (+ (exp im) (exp (- 0.0 im)))) (exp (+ 0.0 (- 0.0 im))))))
116.0ms
(- (pow (exp im) (* 2 2)) (* (exp (* 2 (- 0.0 im))) (exp (+ im im))))

simplify656.0ms

Counts
158 → 158
Iterations
IterNodes
done5001
11150
0359

prune2.2s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))
0.0b
(sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
0.0b
(sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
0.3b
(* (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))))

rewrite764.0ms

Algorithm
rewrite-expression-head
Rules
148×pow1
80×pow-prod-down
66×sqrt-pow1
20×associate-*r/
17×pow-prod-up
16×sqrt-div
14×pow1/2
11×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log pow-sqr
9×flip3-+ add-cube-cbrt flip-+
8×associate-*r*
6×sqrt-prod
5×associate-*l*
4×expm1-log1p-u frac-times swap-sqr prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×associate-*l/ *-commutative
1×pow2 distribute-rgt-in rem-square-sqrt distribute-lft-in pow-plus sqrt-unprod distribute-lft-out unswap-sqr
Counts
4 → 133
Calls
4 calls:
147.0ms
(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))
56.0ms
(sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
81.0ms
(sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
474.0ms
(* (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))))

series712.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))
184.0ms
(sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
180.0ms
(sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
227.0ms
(* (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))))

simplify1.8s

Counts
145 → 145
Iterations
IterNodes
done5001
22997
1492
0177

prune675.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes422.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done14
114
011

end0.0ms

sample6.9s

Algorithm
intervals
Results
3.3s3050×body1280valid
1.6s2621×body640valid
972.0ms8522×body80valid
372.0ms1217×body320valid
214.0ms632×body160valid