Details

Time bar (total: 36.8s)

sample354.0ms

Algorithm
intervals
Results
186.0ms152×body1280valid
85.0ms138×body640valid
28.0ms146×body80valid
26.0ms61×body320valid
8.0ms27×body160valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
82597
71855
61225
5551
4204
386
237
118
010

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 43.9b

localize34.0ms

Local error

Found 2 expressions with local error:

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

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
27×prod-diff
26×add-sqr-sqrt *-un-lft-identity
22×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
7×pow1 add-cbrt-cube add-exp-log
5×associate-*r*
4×add-log-exp
3×sub-neg fma-neg pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u flip3-- associate-*r/ insert-posit16 log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares
1×diff-log associate-*l* *-commutative
Counts
2 → 76
Calls
2 calls:
76.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
19.0ms
(- (exp (- im)) (exp im))

series159.0ms

Counts
2 → 6
Calls
2 calls:
109.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
50.0ms
(- (exp (- im)) (exp im))

simplify2.2s

Counts
82 → 82
Iterations
IterNodes
33764
21092
1407
0146

prune393.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 1/60 (pow im 5) (+ im im))
0.1b
(* im (* im im))
0.1b
(* (* 0.5 (sin re)) (- (* (* im (* im im)) -1/3) (fma 1/60 (pow im 5) (+ im im))))
0.1b
(* (* im (* im im)) -1/3)

rewrite287.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1
23×add-cbrt-cube add-exp-log
12×pow-prod-down prod-exp cbrt-unprod
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
7×associate-*r*
6×prod-diff
5×distribute-rgt-in distribute-lft-in associate-*l* pow-prod-up
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×sub-neg associate-*r/
1×pow2 pow-plus flip3-- cube-unmult pow-sqr fma-udef flip-- unswap-sqr
Counts
4 → 95
Calls
4 calls:
0.0ms
(fma 1/60 (pow im 5) (+ im im))
15.0ms
(* im (* im im))
187.0ms
(* (* 0.5 (sin re)) (- (* (* im (* im im)) -1/3) (fma 1/60 (pow im 5) (+ im im))))
83.0ms
(* (* im (* im im)) -1/3)

series539.0ms

Counts
4 → 12
Calls
4 calls:
215.0ms
(fma 1/60 (pow im 5) (+ im im))
46.0ms
(* im (* im im))
234.0ms
(* (* 0.5 (sin re)) (- (* (* im (* im im)) -1/3) (fma 1/60 (pow im 5) (+ im im))))
43.0ms
(* (* im (* im im)) -1/3)

simplify4.1s

Counts
107 → 107
Iterations
IterNodes
36148
21385
1432
0178

prune593.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* im (* im im)) (* im im))
0.1b
(* (* 0.5 (sin re)) (* (* im (* im im)) -1/3))
0.1b
(* (* (sin re) 0.5) (- (* (* (* im (* im im)) (* im im)) -1/60) (+ im im)))
0.1b
(* (* im (* im im)) -1/3)

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
132×pow1
71×add-cbrt-cube add-exp-log
48×pow-prod-down prod-exp cbrt-unprod
45×pow-prod-up
24×prod-diff
20×*-un-lft-identity
16×add-sqr-sqrt add-cube-cbrt
14×distribute-rgt-in distribute-lft-in
9×pow2 pow-plus pow-sqr
8×associate-*r*
6×distribute-rgt-out distribute-lft-out
4×expm1-log1p-u cube-unmult associate-*l* *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×sub-neg distribute-lft1-in count-2 distribute-rgt1-in associate-*r/
1×flip3-- flip--
Counts
4 → 163
Calls
4 calls:
49.0ms
(* (* im (* im im)) (* im im))
159.0ms
(* (* 0.5 (sin re)) (* (* im (* im im)) -1/3))
756.0ms
(* (* (sin re) 0.5) (- (* (* (* im (* im im)) (* im im)) -1/60) (+ im im)))
82.0ms
(* (* im (* im im)) -1/3)

series647.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(* (* im (* im im)) (* im im))
115.0ms
(* (* 0.5 (sin re)) (* (* im (* im im)) -1/3))
429.0ms
(* (* (sin re) 0.5) (- (* (* (* im (* im im)) (* im im)) -1/60) (+ im im)))
42.0ms
(* (* im (* im im)) -1/3)

simplify1.1s

Counts
175 → 175
Iterations
IterNodes
22789
1819
0295

prune754.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize109.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt im)
0.6b
(cbrt im)
0.6b
(cbrt im)
58.7b
(fma (- (+ (cbrt im) (cbrt im))) (* (cbrt im) (cbrt im)) (* (+ (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Counts
4 → 53
Calls
4 calls:
1.0ms
(cbrt im)
1.0ms
(cbrt im)
1.0ms
(cbrt im)
1.0ms
(fma (- (+ (cbrt im) (cbrt im))) (* (cbrt im) (cbrt im)) (* (+ (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))

series1.7s

Counts
4 → 12
Calls
4 calls:
269.0ms
(cbrt im)
258.0ms
(cbrt im)
314.0ms
(cbrt im)
887.0ms
(fma (- (+ (cbrt im) (cbrt im))) (* (cbrt im) (cbrt im)) (* (+ (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))

simplify5.2s

Counts
65 → 65
Iterations
IterNodes
44306
3716
2191
175
043

prune646.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes537.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
225
125
018

end0.0ms

sample12.7s

Algorithm
intervals
Results
6.4s4756×body1280valid
3.5s3780×body640valid
1.4s1865×body320valid
771.0ms4425×body80valid
306.0ms932×body160valid