Details

Time bar (total: 45.0s)

sample331.0ms

Algorithm
intervals
Results
204.0ms187×body1280valid
63.0ms100×body640valid
20.0ms122×body80valid
20.0ms45×body320valid
5.0ms22×body160valid

simplify208.0ms

Calls
1 calls:
Slowest
207.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 57.6b

localize28.0ms

Local error

Found 2 expressions with local error:

6.4b
(- (exp (- 0 im)) (exp im))
0.0b
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))

rewrite56.0ms

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

series167.0ms

Calls
2 calls:
Slowest
119.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
48.0ms
(- (exp (- 0 im)) (exp im))

simplify2.1s

Calls
24 calls:
Slowest
262.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
216.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
205.0ms
(* 0.5 (* (- (exp (* -1 im)) (exp im)) (cos re)))
199.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
172.0ms
(* 0.5 (* (- (exp (- im)) (exp im)) (cos re)))

prune502.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(* im -1/3)
0.1b
(* (* 0.5 (cos re)) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
0.1b
(* im (* im -1/3))
0.1b
(* (pow im 5) -1/60)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×associate-*r* associate-*l* *-commutative insert-posit16 add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- pow-prod-down prod-exp cbrt-unprod flip--
Calls
4 calls:
Slowest
25.0ms
(* (* 0.5 (cos re)) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
5.0ms
(* (pow im 5) -1/60)
2.0ms
(* im (* im -1/3))
0.0ms
(* im -1/3)

series400.0ms

Calls
4 calls:
Slowest
237.0ms
(* (* 0.5 (cos re)) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
96.0ms
(* (pow im 5) -1/60)
45.0ms
(* im (* im -1/3))
21.0ms
(* im -1/3)

simplify4.0s

Calls
26 calls:
Slowest
724.0ms
(* (* 0.5 (cos re)) (- (* im (- 2 (* im (* im -1/3))))))
361.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
322.0ms
(* (* 0.5 (cos re)) (- (* im (- 2 (* im (* im -1/3))))))
267.0ms
(+ (log (* 0.5 (cos re))) (log (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))))
242.0ms
(* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))))

prune813.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 4 expressions with local error:

2.0b
(log (exp (* (pow im 5) -1/60)))
0.3b
(* im -1/3)
0.1b
(* (* 0.5 (cos re)) (- (log (exp (* (pow im 5) -1/60))) (* im (- 2 (* im (* im -1/3))))))
0.1b
(* im (* im -1/3))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
9×log-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×pow1
6×add-cbrt-cube associate--l+ add-exp-log
5×distribute-rgt-in distribute-lft-in add-log-exp
4×associate-*r* insert-posit16
3×log-pow *-commutative
2×sub-neg associate-*r/
1×exp-prod flip3-- exp-to-pow rem-log-exp associate-*l* pow-prod-down prod-exp cbrt-unprod flip--
Calls
4 calls:
Slowest
22.0ms
(* (* 0.5 (cos re)) (- (log (exp (* (pow im 5) -1/60))) (* im (- 2 (* im (* im -1/3))))))
2.0ms
(log (exp (* (pow im 5) -1/60)))
2.0ms
(* im (* im -1/3))
0.0ms
(* im -1/3)

series351.0ms

Calls
4 calls:
Slowest
231.0ms
(* (* 0.5 (cos re)) (- (log (exp (* (pow im 5) -1/60))) (* im (- 2 (* im (* im -1/3))))))
67.0ms
(log (exp (* (pow im 5) -1/60)))
38.0ms
(* im (* im -1/3))
15.0ms
(* im -1/3)

simplify5.0s

Calls
34 calls:
Slowest
345.0ms
(* (* 0.5 (cos re)) (- (* im (- 2 (* im (* im -1/3))))))
337.0ms
(* (* 0.5 (cos re)) (- (* im (- 2 (* im (* im -1/3))))))
312.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
303.0ms
(* (- (* im (- 2 (* im (* im -1/3))))) (* 0.5 (cos re)))
286.0ms
(* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (log (exp (* (pow im 5) -1/60))) (* im (- 2 (* im (* im -1/3))))) (- (log (exp (* (pow im 5) -1/60))) (* im (- 2 (* im (* im -1/3)))))) (- (log (exp (* (pow im 5) -1/60))) (* im (- 2 (* im (* im -1/3)))))))

prune1.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 flip3-- flip--
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
23.0ms
(* (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))) (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))))
5.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
3.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
3.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))

series991.0ms

Calls
4 calls:
Slowest
295.0ms
(* (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))) (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))))
246.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
226.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
223.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))

simplify15.0s

Calls
59 calls:
Slowest
660.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
631.0ms
(* (cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3))) (cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3))))
603.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
583.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
507.0ms
(* (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))

prune1.3s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes490.0ms

Accuracy

0% (0.8b remaining)

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

bsearch3.0ms

end0.0ms

sample12.2s

Algorithm
intervals
Results
6.8s5737×body1280valid
2.5s3574×body640valid
1.7s1545×body320valid
647.0ms4396×body80valid
192.0ms724×body160valid