Details

Time bar (total: 47.2s)

sample319.0ms

Algorithm
intervals
Results
147.0ms174×body1280valid
114.0ms138×body640valid
17.0ms155×body80valid
14.0ms37×body320valid
7.0ms26×body160valid

simplify228.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 55.9b

localize31.0ms

Local error

Found 2 expressions with local error:

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

rewrite153.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
114.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
39.0ms
(- (exp (- 0 im)) (exp im))

series192.0ms

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

simplify2.9s

Counts
27 → 48
Calls
27 calls:
Slowest
400.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
231.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
227.0ms
(* 0.5 (* (- (exp (* -1 im)) (exp im)) (cos re)))
222.0ms
(* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (- (exp (- 0 im)) (exp im)) (- (exp (- 0 im)) (exp im))) (- (exp (- 0 im)) (exp im))))
215.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))

prune579.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/3 im)
0.1b
(* (* 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))

rewrite112.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
61.0ms
(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
32.0ms
(* (* 1/3 im) im)
10.0ms
(* 1/3 im)
8.0ms
(* -1/60 (pow im 5))

series368.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
249.0ms
(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
66.0ms
(* -1/60 (pow im 5))
34.0ms
(* (* 1/3 im) im)
18.0ms
(* 1/3 im)

simplify7.8s

Counts
63 → 101
Calls
63 calls:
Slowest
792.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
489.0ms
(+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))
426.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)) (- (* (+ (* (* 1/3 im) im) 2) im)))
403.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))))

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.16666666666666666 (* im im))
0.1b
(* (- (cos re)) (+ (* im (+ 1.0 (* 0.16666666666666666 (* im im)))) (* 0.008333333333333333 (pow im 5))))
0.0b
(* 0.008333333333333333 (pow im 5))
0.0b
(* im (+ 1.0 (* 0.16666666666666666 (* im im))))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
19×associate-*l*
18×add-exp-log
15×add-cbrt-cube
14×*-un-lft-identity associate-*r* add-cube-cbrt
13×pow1
8×prod-exp
6×cbrt-unprod unswap-sqr
5×pow-prod-down
4×unpow-prod-down associate-*r/ *-commutative insert-posit16 add-log-exp
3×distribute-lft-neg-in distribute-rgt-neg-in
2×distribute-rgt-in distribute-lft-in flip3-+ flip-+ sqr-pow
1×distribute-lft-neg-out pow-to-exp neg-mul-1 pow-exp
Counts
4 → 100
Calls
4 calls:
Slowest
54.0ms
(* (- (cos re)) (+ (* im (+ 1.0 (* 0.16666666666666666 (* im im)))) (* 0.008333333333333333 (pow im 5))))
14.0ms
(* 0.16666666666666666 (* im im))
10.0ms
(* im (+ 1.0 (* 0.16666666666666666 (* im im))))
9.0ms
(* 0.008333333333333333 (pow im 5))

series520.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
238.0ms
(* (- (cos re)) (+ (* im (+ 1.0 (* 0.16666666666666666 (* im im)))) (* 0.008333333333333333 (pow im 5))))
153.0ms
(* im (+ 1.0 (* 0.16666666666666666 (* im im))))
84.0ms
(* 0.008333333333333333 (pow im 5))
45.0ms
(* 0.16666666666666666 (* im im))

simplify9.0s

Counts
75 → 112
Calls
75 calls:
Slowest
658.0ms
(* (* (* (- (cos re)) (- (cos re))) (- (cos re))) (* (* (+ (* im (+ 1.0 (* 0.16666666666666666 (* im im)))) (* 0.008333333333333333 (pow im 5))) (+ (* im (+ 1.0 (* 0.16666666666666666 (* im im)))) (* 0.008333333333333333 (pow im 5)))) (+ (* im (+ 1.0 (* 0.16666666666666666 (* im im)))) (* 0.008333333333333333 (pow im 5)))))
544.0ms
(+ (* im (+ 1.0 (* 0.16666666666666666 (* im im)))) (* 0.008333333333333333 (pow im 5)))
515.0ms
(cbrt (+ (* im (+ 1.0 (* 0.16666666666666666 (* im im)))) (* 0.008333333333333333 (pow im 5))))
514.0ms
(* (* 0.008333333333333333 (pow im 5)) (- (cos re)))
484.0ms
(sqrt (+ (* im (+ 1.0 (* 0.16666666666666666 (* im im)))) (* 0.008333333333333333 (pow im 5))))

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 0.16666666666666666 (* im im)) (* 0.16666666666666666 (* im im)))
0.2b
(* 0.16666666666666666 (* im im))
0.2b
(* 0.16666666666666666 (* im im))
0.2b
(* 0.16666666666666666 (* im im))

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
133×pow1
75×pow-prod-down
55×add-cbrt-cube add-exp-log
36×prod-exp cbrt-unprod
10×add-sqr-sqrt associate-*l*
9×pow-sqr pow-prod-up
7×*-un-lft-identity add-cube-cbrt
4×associate-*r* *-commutative insert-posit16 add-log-exp
3×pow-plus unswap-sqr
1×pow2 swap-sqr
Counts
4 → 121
Calls
4 calls:
Slowest
98.0ms
(* (* 0.16666666666666666 (* im im)) (* 0.16666666666666666 (* im im)))
28.0ms
(* 0.16666666666666666 (* im im))
26.0ms
(* 0.16666666666666666 (* im im))
26.0ms
(* 0.16666666666666666 (* im im))

series169.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
49.0ms
(* (* 0.16666666666666666 (* im im)) (* 0.16666666666666666 (* im im)))
48.0ms
(* 0.16666666666666666 (* im im))
44.0ms
(* 0.16666666666666666 (* im im))
28.0ms
(* 0.16666666666666666 (* im im))

simplify6.8s

Counts
111 → 133
Calls
111 calls:
Slowest
408.0ms
(* (* (* (* 0.16666666666666666 (* im im)) (* 0.16666666666666666 (* im im))) (* 0.16666666666666666 (* im im))) (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (* im im) (* im im)) (* im im))))
344.0ms
(* (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (* im im) im) (* (* im im) im))) (* (* (* 0.16666666666666666 (* im im)) (* 0.16666666666666666 (* im im))) (* 0.16666666666666666 (* im im))))
337.0ms
(* (* (* (* 0.16666666666666666 (* im im)) (* 0.16666666666666666 (* im im))) (* 0.16666666666666666 (* im im))) (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (* im im) im) (* (* im im) im))))
332.0ms
(* (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (* im im) (* im im)) (* im im))) (* (* (* 0.16666666666666666 (* im im)) (* 0.16666666666666666 (* im im))) (* 0.16666666666666666 (* im im))))
293.0ms
(* (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (* im im) im) (* (* im im) im))) (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (* im im) (* im im)) (* im im))))

prune2.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes326.0ms

Accuracy

0% (0.6b remaining)

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

bsearch34.0ms

end0.0ms

sample12.4s

Algorithm
intervals
Results
7.5s5816×body1280valid
2.6s3549×body640valid
1.1s4420×body80valid
657.0ms1441×body320valid
191.0ms685×body160valid