Details

Time bar (total: 47.2s)

sample352.0ms

Algorithm
intervals
Results
203.0ms170×body1280valid
75.0ms119×body640valid
28.0ms62×body320valid
22.0ms174×body80valid
7.0ms24×body160valid

simplify221.0ms

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 58.1b

localize38.0ms

Local error

Found 2 expressions with local error:

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

rewrite31.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
18.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
13.0ms
(- (exp (- 0 im)) (exp im))

series157.0ms

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

simplify2.4s

Calls
24 calls:
Slowest
323.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
250.0ms
(* 0.5 (* (- (exp (* -1 im)) (exp im)) (cos re)))
249.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
249.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
227.0ms
(* 0.5 (* (- (exp (- im)) (exp im)) (cos re)))

prune508.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.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
36.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)

series227.0ms

Calls
4 calls:
Slowest
166.0ms
(* (* 0.5 (cos re)) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
31.0ms
(* (pow im 5) -1/60)
18.0ms
(* im (* im -1/3))
12.0ms
(* im -1/3)

simplify3.9s

Calls
26 calls:
Slowest
401.0ms
(* (* 0.5 (cos re)) (- (* im (- 2 (* im (* im -1/3))))))
390.0ms
(* (* 0.5 (cos re)) (- (* im (- 2 (* im (* im -1/3))))))
310.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
301.0ms
(* (- (* im (- 2 (* im (* im -1/3))))) (* 0.5 (cos re)))
273.0ms
(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))

prune836.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize31.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
22.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)))))))
6.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))))))

series708.0ms

Calls
4 calls:
Slowest
203.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)))))))
194.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
163.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
149.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))

simplify15.8s

Calls
59 calls:
Slowest
916.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
648.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
641.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
614.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))))
599.0ms
(* (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))

prune1.5s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* im 2))
0.6b
(cbrt (* im 2))
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))))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
8×cbrt-prod
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 cbrt-div add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
2×flip3-- flip--
Calls
4 calls:
Slowest
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))))))
1.0ms
(cbrt (* im 2))
1.0ms
(cbrt (* im 2))

series927.0ms

Calls
4 calls:
Slowest
301.0ms
(cbrt (* im 2))
278.0ms
(cbrt (* im 2))
181.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
167.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))

simplify5.4s

Calls
24 calls:
Slowest
661.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
657.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
461.0ms
(cbrt (- (* (* (pow im 5) -1/60) (* (pow im 5) -1/60)) (* (* im (- 2 (* im (* im -1/3)))) (* im (- 2 (* im (* im -1/3)))))))
434.0ms
(- (+ (* (exp (* 1/3 (+ (log 2) (log im)))) (cbrt -1)) (* 1/18 (* (exp (* 1/3 (+ (log 2) (log im)))) (* (cbrt -1) (pow im 2))))) (* 1/3240 (* (exp (* 1/3 (+ (log 2) (log im)))) (* (cbrt -1) (pow im 4)))))
429.0ms
(cbrt (- (* (* (pow im 5) -1/60) (* (pow im 5) -1/60)) (* (* im (- 2 (* im (* im -1/3)))) (* im (- 2 (* im (* im -1/3)))))))

prune1.3s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes673.0ms

Accuracy

0% (0.7b remaining)

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

bsearch6.0ms

end0.0ms

sample12.1s

Algorithm
intervals
Results
7.0s5715×body1280valid
3.0s3672×body640valid
772.0ms1454×body320valid
744.0ms4504×body80valid
275.0ms679×body160valid