Details

Time bar (total: 30.5s)

sample328.0ms

Algorithm
intervals
Results
179.0ms188×body1280valid
72.0ms117×body640valid
30.0ms136×body80valid
22.0ms53×body320valid
6.0ms20×body160valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
82068
71547
61088
5490
4209
3106
246
122
011

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 58.2b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (cos re) (exp im))
0.0b
(/ (cos re) (exp im))
5.7b
(- (/ (cos re) (exp im)) (* (cos re) (exp im)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
27×*-un-lft-identity times-frac add-cube-cbrt
13×fma-neg prod-diff
7×add-cbrt-cube
5×pow1 add-exp-log add-log-exp
4×div-inv
3×expm1-log1p-u associate-/r* associate-*r* associate-*l* insert-posit16 log1p-expm1-u associate-/l*
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-- distribute-lft-out-- unswap-sqr
Counts
3 → 93
Calls
3 calls:
21.0ms
(* (cos re) (exp im))
18.0ms
(/ (cos re) (exp im))
38.0ms
(- (/ (cos re) (exp im)) (* (cos re) (exp im)))

series202.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(* (cos re) (exp im))
46.0ms
(/ (cos re) (exp im))
126.0ms
(- (/ (cos re) (exp im)) (* (cos re) (exp im)))

simplify1.2s

Counts
102 → 102
Iterations
IterNodes
32841
2822
1294
0127

prune1.1s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 29.2b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* im (- (* re re) 2)) (* 1/3 (* (* im im) im)))
0.1b
(* (* im im) im)
0.2b
(* 1/3 (* (* im im) im))
5.5b
(* im (- (* re re) 2))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1
20×add-cbrt-cube add-exp-log
16×add-sqr-sqrt
13×prod-diff
12×*-un-lft-identity add-cube-cbrt
10×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp associate--l+ cbrt-unprod
8×associate-*r*
7×associate-*l*
6×pow-plus pow-prod-up add-log-exp
5×sub-neg
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×*-commutative
2×pow2 flip3-- associate-*r/ pow-sqr flip-- unswap-sqr
1×fma-neg diff-log pow3 difference-of-squares
Counts
4 → 116
Calls
4 calls:
45.0ms
(- (* im (- (* re re) 2)) (* 1/3 (* (* im im) im)))
20.0ms
(* (* im im) im)
44.0ms
(* 1/3 (* (* im im) im))
55.0ms
(* im (- (* re re) 2))

series277.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(- (* im (- (* re re) 2)) (* 1/3 (* (* im im) im)))
38.0ms
(* (* im im) im)
42.0ms
(* 1/3 (* (* im im) im))
89.0ms
(* im (- (* re re) 2))

simplify2.5s

Counts
128 → 128
Iterations
IterNodes
34930
21204
1447
0178

prune1.1s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 27.2b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* -2 im) (* 1/3 (* (* im im) im)))
0.1b
(* (* im im) im)
0.2b
(* 1/3 (* (* im im) im))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
31×pow1
17×add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
6×add-sqr-sqrt pow-plus pow-prod-up
5×*-un-lft-identity add-cube-cbrt add-log-exp
4×associate-*r* associate-*l*
3×expm1-log1p-u insert-posit16 log1p-expm1-u
2×pow2 pow-sqr *-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff pow3 flip-- unswap-sqr
Counts
3 → 72
Calls
3 calls:
16.0ms
(- (* -2 im) (* 1/3 (* (* im im) im)))
29.0ms
(* (* im im) im)
77.0ms
(* 1/3 (* (* im im) im))

series257.0ms

Counts
3 → 9
Calls
3 calls:
169.0ms
(- (* -2 im) (* 1/3 (* (* im im) im)))
36.0ms
(* (* im im) im)
51.0ms
(* 1/3 (* (* im im) im))

simplify1.6s

Counts
81 → 81
Iterations
IterNodes
32999
2724
1262
096

prune794.0ms

Pruning

27 alts after pruning (26 fresh and 1 done)

Merged error: 27.2b

localize57.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- (* -2 im) (* 1/3 (* (* im im) im)))) (cbrt (- (* -2 im) (* 1/3 (* (* im im) im)))))
0.6b
(cbrt (- (* -2 im) (* 1/3 (* (* im im) im))))
0.6b
(cbrt (- (* -2 im) (* 1/3 (* (* im im) im))))
0.6b
(cbrt (- (* -2 im) (* 1/3 (* (* im im) im))))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×flip3-- pow1/3 flip--
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 99
Calls
4 calls:
66.0ms
(* (cbrt (- (* -2 im) (* 1/3 (* (* im im) im)))) (cbrt (- (* -2 im) (* 1/3 (* (* im im) im)))))
15.0ms
(cbrt (- (* -2 im) (* 1/3 (* (* im im) im))))
10.0ms
(cbrt (- (* -2 im) (* 1/3 (* (* im im) im))))
10.0ms
(cbrt (- (* -2 im) (* 1/3 (* (* im im) im))))

series965.0ms

Counts
4 → 12
Calls
4 calls:
297.0ms
(* (cbrt (- (* -2 im) (* 1/3 (* (* im im) im)))) (cbrt (- (* -2 im) (* 1/3 (* (* im im) im)))))
243.0ms
(cbrt (- (* -2 im) (* 1/3 (* (* im im) im))))
223.0ms
(cbrt (- (* -2 im) (* 1/3 (* (* im im) im))))
202.0ms
(cbrt (- (* -2 im) (* 1/3 (* (* im im) im))))

simplify2.7s

Counts
111 → 111
Iterations
IterNodes
35542
21289
1421
0169

prune1.2s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 27.2b

regimes1.4s

Accuracy

58.9% (1.3b remaining)

Error of 27.9b against oracle of 26.6b and baseline of 29.8b

bsearch4.0ms

simplify19.0ms

Iterations
IterNodes
252
152
038

end0.0ms

sample11.7s

Algorithm
intervals
Results
6.3s5797×body1280valid
3.0s3593×body640valid
974.0ms4292×body80valid
829.0ms1501×body320valid
185.0ms677×body160valid