Details

Time bar (total: 30.7s)

sample330.0ms

Algorithm
intervals
Results
155.0ms170×body1280valid
71.0ms112×body640valid
52.0ms55×body320valid
22.0ms147×body80valid
10.0ms35×body160valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5000
72687
61285
5595
4201
385
239
118
010

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.7b

localize36.0ms

Local error

Found 2 expressions with local error:

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

rewrite83.0ms

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

series151.0ms

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

simplify2.9s

Counts
48 → 48
Iterations
IterNodes
done5005
34024
2911
1258
094

prune259.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 (* im im))
0.1b
(* -1/3 (* im (* im im)))
0.1b
(* (* 0.5 (sin re)) (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))

rewrite335.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1
28×add-exp-log
25×add-cbrt-cube
16×add-sqr-sqrt
15×prod-exp
14×associate-*l*
13×cbrt-unprod
12×pow-prod-down
10×*-un-lft-identity add-cube-cbrt
8×associate-*r*
5×pow-prod-up
4×unpow-prod-down *-commutative insert-posit16 add-log-exp unswap-sqr
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ sqr-pow
1×pow2 pow-to-exp pow-plus flip3-- cube-unmult pow-exp pow-sqr flip--
Counts
4 → 98
Calls
4 calls:
17.0ms
(* (pow im 5) 1/60)
27.0ms
(* im (* im im))
37.0ms
(* -1/3 (* im (* im im)))
252.0ms
(* (* 0.5 (sin re)) (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))

series404.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* (pow im 5) 1/60)
35.0ms
(* im (* im im))
56.0ms
(* -1/3 (* im (* im im)))
243.0ms
(* (* 0.5 (sin re)) (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))

simplify2.1s

Counts
110 → 110
Iterations
IterNodes
done5000
21764
1449
0172

prune555.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite188.0ms

Algorithm
rewrite-expression-head
Rules
24×pow1
20×add-sqr-sqrt
19×add-exp-log
16×add-cbrt-cube
15×log-prod
14×distribute-rgt-in *-un-lft-identity distribute-lft-in add-cube-cbrt
12×associate--l+
11×associate-*l*
9×prod-exp
7×associate-*r* cbrt-unprod
6×pow-prod-down
5×pow-prod-up add-log-exp
4×unpow-prod-down insert-posit16 unswap-sqr
3×log-pow *-commutative
2×sub-neg associate-*r/ sqr-pow
1×pow2 pow-to-exp exp-prod pow-plus flip3-- exp-to-pow cube-unmult rem-log-exp pow-exp pow-sqr flip--
Counts
4 → 103
Calls
4 calls:
17.0ms
(* (pow im 5) 1/60)
22.0ms
(* im (* im im))
141.0ms
(* (* 0.5 (sin re)) (- (* -1/3 (log (exp (* im (* im im))))) (+ (+ im im) (* (pow im 5) 1/60))))
4.0ms
(log (exp (* im (* im im))))

series408.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* (pow im 5) 1/60)
56.0ms
(* im (* im im))
230.0ms
(* (* 0.5 (sin re)) (- (* -1/3 (log (exp (* im (* im im))))) (+ (+ im im) (* (pow im 5) 1/60))))
56.0ms
(log (exp (* im (* im im))))

simplify1.8s

Counts
115 → 115
Iterations
IterNodes
done5003
22122
1594
0205

prune657.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize70.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60)))) (cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60)))))
0.7b
(cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))
0.7b
(cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))
0.7b
(cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))

rewrite897.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×frac-times add-cbrt-cube insert-posit16 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 → 91
Calls
4 calls:
624.0ms
(* (cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60)))) (cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60)))))
102.0ms
(cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))
78.0ms
(cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))
92.0ms
(cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))

series1.0s

Counts
4 → 12
Calls
4 calls:
304.0ms
(* (cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60)))) (cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60)))))
237.0ms
(cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))
227.0ms
(cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))
243.0ms
(cbrt (- (* -1/3 (* im (* im im))) (+ (+ im im) (* (pow im 5) 1/60))))

simplify1.7s

Counts
103 → 103
Iterations
IterNodes
done5000
21352
1434
0176

prune786.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

regimes530.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done25
125
019

end0.0ms

sample12.1s

Algorithm
intervals
Results
6.2s4780×body1280valid
3.2s3769×body640valid
1.2s1907×body320valid
687.0ms4565×body80valid
412.0ms987×body160valid