Details

Time bar (total: 1.3m)

sample277.0ms

Algorithm
intervals
Results
144.0ms189×body1280valid
58.0ms116×body640valid
42.0ms38×body320valid
13.0ms123×body80valid
5.0ms22×body160valid

simplify284.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 58.2b

localize26.0ms

Local error

Found 2 expressions with local error:

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

rewrite152.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
99.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
53.0ms
(- (exp (- 0 im)) (exp im))

series159.0ms

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

simplify7.4s

Counts
54 → 48
Calls
54 calls:
Slowest
551.0ms
(* (* 0.5 (cos re)) (- (* (exp (- 0 im)) (exp (- 0 im))) (* (exp im) (exp im))))
512.0ms
(* (* (- (exp (- 0 im)) (exp im)) (- (exp (- 0 im)) (exp im))) (- (exp (- 0 im)) (exp im)))
404.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
316.0ms
(- (pow (exp (- 0 im)) 3) (pow (exp im) 3))
298.0ms
(exp (* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im))))

prune661.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite80.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
52.0ms
(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
14.0ms
(* (* 1/3 im) im)
8.0ms
(* -1/60 (pow im 5))
5.0ms
(* 1/3 im)

series383.0ms

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

simplify15.1s

Counts
105 → 101
Calls
105 calls:
Slowest
610.0ms
(* (* (* (* 1/3 im) (* 1/3 im)) (* 1/3 im)) (* (* im im) im))
582.0ms
(* (* 0.5 (cos re)) (* -1/60 (pow im 5)))
578.0ms
(* (* 0.5 (cos re)) (* -1/60 (pow im 5)))
560.0ms
(* (* -1/60 (pow im 5)) (* 0.5 (cos re)))
535.0ms
(* (* -1/60 (pow im 5)) (* 0.5 (cos re)))

prune1.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite91.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
Counts
4 → 78
Calls
4 calls:
Slowest
50.0ms
(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im)))
22.0ms
(* (* 1/3 im) im)
10.0ms
(* 1/3 im)
7.0ms
(log (exp (* (* 1/3 im) im)))

series320.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
232.0ms
(* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im)))
35.0ms
(* (* 1/3 im) im)
32.0ms
(log (exp (* (* 1/3 im) im)))
21.0ms
(* 1/3 im)

simplify16.6s

Counts
94 → 90
Calls
94 calls:
Slowest
664.0ms
(* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im)) (- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im))) (- (* -1/60 (pow im 5)) (* (+ (log (exp (* (* 1/3 im) im))) 2) im))))
652.0ms
(* (* (* (* 1/3 im) (* 1/3 im)) (* 1/3 im)) (* (* im im) im))
621.0ms
(* (* -1/60 (pow im 5)) (* 0.5 (cos re)))
603.0ms
(* (* 0.5 (cos re)) (* -1/60 (pow im 5)))
599.0ms
(* (* -1/60 (pow im 5)) (* 0.5 (cos re)))

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
50×add-exp-log
35×add-cbrt-cube
32×prod-exp
26×pow1
20×cbrt-unprod
14×add-sqr-sqrt pow-prod-down
10×associate-*r*
8×*-un-lft-identity associate-*l* add-cube-cbrt
4×unpow-prod-down associate-*l/ *-commutative insert-posit16 add-log-exp unswap-sqr
3×pow-to-exp pow-exp
2×sqr-pow
1×flip3-- flip--
Counts
4 → 96
Calls
4 calls:
Slowest
69.0ms
(* (* (- -2 (* 1/3 (* im im))) (cos re)) (* im 0.5))
40.0ms
(* (* 0.5 (cos re)) (* -1/60 (pow im 5)))
16.0ms
(* -1/60 (pow im 5))
13.0ms
(* 1/3 (* im im))

series418.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
196.0ms
(* (* 0.5 (cos re)) (* -1/60 (pow im 5)))
114.0ms
(* (* (- -2 (* 1/3 (* im im))) (cos re)) (* im 0.5))
75.0ms
(* -1/60 (pow im 5))
32.0ms
(* 1/3 (* im im))

simplify20.0s

Counts
108 → 108
Calls
108 calls:
Slowest
648.0ms
(* (* (- (* -2 -2) (* (* 1/3 (* im im)) (* 1/3 (* im im)))) (cos re)) (* im 0.5))
647.0ms
(sqrt (* (* 0.5 (cos re)) (* -1/60 (pow im 5))))
638.0ms
(* (cbrt (* (* 0.5 (cos re)) (* -1/60 (pow im 5)))) (cbrt (* (* 0.5 (cos re)) (* -1/60 (pow im 5)))))
609.0ms
(+ (log (* 0.5 (cos re))) (+ (log -1/60) (log (pow im 5))))
609.0ms
(cbrt (* (* 0.5 (cos re)) (* -1/60 (pow im 5))))

prune1.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

regimes352.0ms

Accuracy

0% (0.6b remaining)

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

bsearch14.0ms

end0.0ms

sample11.8s

Algorithm
intervals
Results
6.1s5853×body1280valid
3.7s3598×body640valid
678.0ms4322×body80valid
670.0ms1419×body320valid
253.0ms695×body160valid