Details

Time bar (total: 58.7s)

sample323.0ms

Algorithm
intervals
Results
155.0ms170×body1280valid
72.0ms119×body640valid
55.0ms154×body80valid
18.0ms51×body320valid
5.0ms21×body160valid

simplify223.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 57.8b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite160.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:
Slowest
104.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
55.0ms
(- (exp (- 0 im)) (exp im))

series166.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
102.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
64.0ms
(- (exp (- 0 im)) (exp im))

simplify2.7s

Counts
27 → 48
Calls
27 calls:
Slowest
377.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
228.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
222.0ms
(* 0.5 (* (- (exp (- im)) (exp im)) (cos re)))
204.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
200.0ms
(* 0.5 (* (- (exp (* -1 im)) (exp im)) (cos re)))

prune533.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
21×add-exp-log
18×add-sqr-sqrt add-cbrt-cube
16×pow1 associate-*r*
11×*-un-lft-identity add-cube-cbrt
10×prod-exp
8×associate-*l* cbrt-unprod
7×pow-prod-down
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×pow-to-exp flip3-- pow-exp flip--
Counts
4 → 89
Calls
4 calls:
Slowest
68.0ms
(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
26.0ms
(* (* 1/3 im) im)
10.0ms
(* 1/3 im)
7.0ms
(* -1/60 (pow im 5))

series358.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
231.0ms
(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
67.0ms
(* -1/60 (pow im 5))
41.0ms
(* (* 1/3 im) im)
19.0ms
(* 1/3 im)

simplify7.7s

Counts
63 → 101
Calls
63 calls:
Slowest
617.0ms
(* (- (* (+ (* (* 1/3 im) im) 2) im)) (* 0.5 (cos re)))
579.0ms
(+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))
391.0ms
(* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
382.0ms
(* (* 0.5 (cos re)) (- (* (+ (* (* 1/3 im) im) 2) im)))
382.0ms
(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite206.0ms

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

series1.9s

Counts
4 → 12
Calls
4 calls:
Slowest
726.0ms
(* (cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))) (cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))
428.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
408.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
370.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))

simplify14.6s

Counts
63 → 88
Calls
63 calls:
Slowest
542.0ms
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
445.0ms
(* (cbrt (* (* 0.5 (cos re)) (- (pow (* -1/60 (pow im 5)) 3) (pow (* (+ (* (* 1/3 im) im) 2) im) 3)))) (cbrt (* (* 0.5 (cos re)) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))))))
442.0ms
(* (cbrt (* (* 0.5 (cos re)) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))))) (cbrt (* (* 0.5 (cos re)) (- (pow (* -1/60 (pow im 5)) 3) (pow (* (+ (* (* 1/3 im) im) 2) im) 3)))))
410.0ms
(- (+ (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (pow (cbrt -0.5) 2)) (* 1/9 (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (* (pow im 2) (pow (cbrt -0.5) 2))))) (* 4/3 (* (pow im 2) (* (pow re 2) (* (exp (* 1/3 (- (log 1/16) (* 4 (log im))))) (pow (cbrt -0.5) 2))))))
366.0ms
(+ (* (exp (* 1/3 (- (log (* 1/60 (cos re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (* 20/3 (/ (* (exp (* 1/3 (- (log (* 1/60 (cos re))) (* 5 (log (/ 1 im)))))) (cbrt -0.5)) (pow im 2))))

prune1.4s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

localize122.0ms

Local error

Found 4 expressions with local error:

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

rewrite331.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*r/
18×cbrt-div
9×pow1 flip3-- add-exp-log flip--
6×cbrt-prod add-sqr-sqrt *-un-lft-identity pow1/3 add-cube-cbrt
5×add-cbrt-cube pow-prod-down
4×frac-times associate-*l* insert-posit16 add-log-exp
3×prod-exp cbrt-unprod
2×associate-*l/
1×associate-*r* *-commutative
Counts
4 → 67
Calls
4 calls:
Slowest
228.0ms
(* (cbrt (* 0.5 (cos re))) (* (cbrt (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))))
47.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
41.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
13.0ms
(cbrt (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))

series2.0s

Counts
4 → 12
Calls
4 calls:
Slowest
921.0ms
(* (cbrt (* 0.5 (cos re))) (* (cbrt (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))))
440.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
412.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
228.0ms
(cbrt (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))

simplify10.6s

Counts
42 → 79
Calls
42 calls:
Slowest
657.0ms
(* (* 0.5 (cos re)) (* (* (* (cbrt (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))) (* (cbrt (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))) (* (cbrt (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))))
617.0ms
(- (+ (* 20/3 (/ (* (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (cbrt -1)) (pow im 2))) (* (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (cbrt -1))) (* 40/9 (/ (* (exp (* 1/3 (- (log 1/60) (* 5 (log (/ 1 im)))))) (cbrt -1)) (pow im 4))))
540.0ms
(- (+ (* 1/9 (* (cbrt 0.5) (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (* (cbrt -1) (* (pow im 2) (cbrt -0.5)))))) (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (* (cbrt -1) (* (cbrt 0.5) (cbrt -0.5))))) (* 4/3 (* (pow im 2) (* (pow re 2) (* (cbrt 0.5) (* (cbrt -1) (* (exp (* 1/3 (- (log 1/16) (* 4 (log im))))) (cbrt -0.5))))))))
483.0ms
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
425.0ms
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))

prune1.5s

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 0.0b

regimes443.0ms

Accuracy

0% (0.6b remaining)

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

bsearch3.0ms

end0.0ms

sample11.9s

Algorithm
intervals
Results
7.0s5712×body1280valid
3.0s3540×body640valid
665.0ms1511×body320valid
647.0ms4440×body80valid
184.0ms686×body160valid