Details

Time bar (total: 47.7s)

sample345.0ms

Algorithm
intervals
Results
185.0ms167×body1280valid
86.0ms152×body640valid
20.0ms55×body320valid
16.0ms142×body80valid
6.0ms25×body160valid

simplify7.3s

Counts
1 → 1
Iterations
IterNodes
done5001
72563
61239
5516
4186
384
239
118
010

prune28.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 46.6b

localize33.0ms

Local error

Found 2 expressions with local error:

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

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-sqr-sqrt *-un-lft-identity add-cbrt-cube
5×associate-*r*
4×add-log-exp
3×add-cube-cbrt sub-neg pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in flip3-- distribute-lft-in associate-*r/ flip-- distribute-lft-out-- difference-of-squares
1×diff-log associate-*l* *-commutative
Counts
2 → 40
Calls
2 calls:
145.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
45.0ms
(- (exp (- im)) (exp im))

series251.0ms

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

simplify6.7s

Counts
46 → 46
Iterations
IterNodes
done5000
34673
2933
1263
093

prune402.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite566.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log
25×add-cbrt-cube
23×pow1
17×add-sqr-sqrt
15×prod-exp
13×cbrt-unprod
12×associate-*l* pow-prod-down
10×add-cube-cbrt *-un-lft-identity associate-*r*
4×distribute-rgt-in sub-neg unpow-prod-down distribute-lft-in associate--l+ *-commutative add-log-exp unswap-sqr
2×associate-*r/ sqr-pow
1×pow-to-exp flip3-- pow-exp flip--
Counts
4 → 93
Calls
4 calls:
19.0ms
(* (pow im 5) -1/60)
54.0ms
(* (* im 1/3) (* im im))
473.0ms
(* (* 0.5 (sin re)) (- (- (* (pow im 5) -1/60) (+ im im)) (* (* im 1/3) (* im im))))
13.0ms
(* im 1/3)

series555.0ms

Counts
4 → 12
Calls
4 calls:
110.0ms
(* (pow im 5) -1/60)
73.0ms
(* (* im 1/3) (* im im))
342.0ms
(* (* 0.5 (sin re)) (- (- (* (pow im 5) -1/60) (+ im im)) (* (* im 1/3) (* im im))))
30.0ms
(* im 1/3)

simplify3.4s

Counts
105 → 105
Iterations
IterNodes
done5005
21851
1494
0173

prune829.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
21×add-exp-log
18×add-sqr-sqrt add-cbrt-cube
16×pow1 associate-*l*
11×add-cube-cbrt *-un-lft-identity
10×prod-exp
8×associate-*r* cbrt-unprod
7×pow-prod-down
4×unpow-prod-down *-commutative add-log-exp unswap-sqr
2×associate-*l/ sqr-pow
1×pow-to-exp flip3-- pow-exp flip--
Counts
4 → 81
Calls
4 calls:
22.0ms
(* (pow im 5) -1/60)
31.0ms
(* im (* im 1/3))
97.0ms
(* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5))
13.0ms
(* im 1/3)

series597.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(* (pow im 5) -1/60)
49.0ms
(* im (* im 1/3))
419.0ms
(* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5))
27.0ms
(* im 1/3)

simplify2.8s

Counts
93 → 93
Iterations
IterNodes
done5001
21422
1390
0148

prune958.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.1b

localize207.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5))) (cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5))))
10.7b
(cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5)))
10.7b
(cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5)))
10.7b
(cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5)))

rewrite447.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*l/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-- pow1/3 flip--
8×add-cube-cbrt *-un-lft-identity
7×cbrt-prod
6×add-exp-log
4×frac-times swap-sqr associate-*r* associate-*l* add-cbrt-cube add-log-exp
2×associate-*r/ pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 72
Calls
4 calls:
268.0ms
(* (cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5))) (cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5))))
58.0ms
(cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5)))
59.0ms
(cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5)))
57.0ms
(cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5)))

series1.9s

Counts
4 → 12
Calls
4 calls:
541.0ms
(* (cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5))) (cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5))))
448.0ms
(cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5)))
501.0ms
(cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5)))
449.0ms
(cbrt (* (- (* (pow im 5) -1/60) (* im (+ (* im (* im 1/3)) 2))) (* (sin re) 0.5)))

simplify4.0s

Counts
84 → 84
Iterations
IterNodes
done5002
21402
1446
0168

prune1.2s

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 0.0b

regimes1.0s

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
done22
122
017

end0.0ms

sample13.5s

Algorithm
intervals
Results
6.9s4743×body1280valid
2.7s3734×body640valid
1.7s1899×body320valid
1.2s4447×body80valid
337.0ms957×body160valid