Details

Time bar (total: 53.3s)

sample293.0ms

Algorithm
intervals
Results
178.0ms172×body1280valid
63.0ms113×body640valid
18.0ms48×body320valid
13.0ms128×body80valid
5.0ms21×body160valid

simplify252.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 57.0b

localize38.0ms

Local error

Found 2 expressions with local error:

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

rewrite217.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
Calls
2 calls:
Slowest
165.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
51.0ms
(- (exp (- 0 im)) (exp im))

series167.0ms

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

simplify2.9s

Calls
27 calls:
Slowest
430.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
234.0ms
(* 0.5 (* (- (exp (* -1 im)) (exp im)) (cos re)))
217.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
215.0ms
(* 0.5 (* (- (exp (- im)) (exp im)) (cos re)))
215.0ms
(* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (exp (- 0 im)) (exp im)) (- (exp (- 0 im)) (exp im))) (- (exp (- 0 im)) (exp im))))

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

rewrite87.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--
Calls
4 calls:
Slowest
53.0ms
(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
17.0ms
(* (* 1/3 im) im)
9.0ms
(* -1/60 (pow im 5))
6.0ms
(* 1/3 im)

series382.0ms

Calls
4 calls:
Slowest
234.0ms
(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
94.0ms
(* -1/60 (pow im 5))
32.0ms
(* (* 1/3 im) im)
22.0ms
(* 1/3 im)

simplify7.6s

Calls
63 calls:
Slowest
565.0ms
(- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))
524.0ms
(+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))
450.0ms
(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))
411.0ms
(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))
390.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite89.0ms

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

series376.0ms

Calls
4 calls:
Slowest
273.0ms
(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im)))
48.0ms
(* (* 1/3 im) im)
39.0ms
(log (exp (* (* 1/3 im) im)))
15.0ms
(* 1/3 im)

simplify7.2s

Calls
48 calls:
Slowest
426.0ms
(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))
426.0ms
(* (* 0.5 (cos re)) (- (* (+ (log (exp (* (* 1/3 im) im))) 2) im)))
407.0ms
(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))
403.0ms
(* (* 0.5 (cos re)) (- (* (+ (log (exp (* (* 1/3 im) im))) 2) im)))
384.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))

prune1.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize68.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)))))

rewrite222.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
Calls
4 calls:
Slowest
131.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)))))
34.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
29.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
27.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))

series2.1s

Calls
4 calls:
Slowest
762.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)))))
463.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
436.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
416.0ms
(cbrt (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))

simplify15.2s

Calls
63 calls:
Slowest
576.0ms
(cbrt (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
526.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)))))
468.0ms
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
437.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))))))
395.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/3 im) im) 2) im)))))

prune1.1s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes388.0ms

Accuracy

0% (0.8b remaining)

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

bsearch4.0ms

end0.0ms

sample11.5s

Algorithm
intervals
Results
7.0s5615×body1280valid
2.6s3635×body640valid
766.0ms1522×body320valid
536.0ms4328×body80valid
236.0ms685×body160valid