Details

Time bar (total: 1.3m)

sample343.0ms

Algorithm
intervals
Results
148.0ms145×body1280valid
114.0ms128×body640valid
27.0ms59×body320valid
22.0ms163×body80valid
13.0ms42×body160valid

simplify296.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
296.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 42.6b

localize20.0ms

Local error

Found 2 expressions with local error:

8.2b
(- (exp (- im)) (exp im))
0.0b
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))

rewrite85.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
56.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
28.0ms
(- (exp (- im)) (exp im))

series166.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
108.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
58.0ms
(- (exp (- im)) (exp im))

simplify2.1s

Counts
27 → 48
Calls
27 calls:
Slowest
209.0ms
(* 0.5 (* (sin re) (- (exp (- im)) (exp im))))
205.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
197.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im))))
197.0ms
(* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im))))
194.0ms
(* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im))))

prune535.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite96.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
53.0ms
(* (* 0.5 (sin re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
21.0ms
(* (* 1/3 im) im)
16.0ms
(* -1/60 (pow im 5))
5.0ms
(* 1/3 im)

series389.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
241.0ms
(* (* 0.5 (sin re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
83.0ms
(* -1/60 (pow im 5))
36.0ms
(* (* 1/3 im) im)
29.0ms
(* 1/3 im)

simplify6.5s

Counts
63 → 101
Calls
63 calls:
Slowest
573.0ms
(+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))
371.0ms
(* (* 0.5 (sin re)) (- (* (+ (* (* 1/3 im) im) 2) im)))
366.0ms
(* (* 0.5 (sin re)) (- (* (+ (* (* 1/3 im) im) 2) im)))
359.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin 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))))
355.0ms
(* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin 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.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize79.0ms

Local error

Found 4 expressions with local error:

19.8b
(/ (* (* 0.5 (sin re)) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)))) (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
0.3b
(* 1/3 im)
0.3b
(* 1/3 im)
0.3b
(* 1/3 im)

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube add-exp-log
18×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
10×pow1
9×associate-*r* associate-*l*
6×prod-exp cbrt-unprod
4×insert-posit16 add-log-exp
3×cbrt-undiv associate-/r* times-frac div-exp pow-prod-down *-commutative unswap-sqr
2×associate-*r/ associate-/r/ associate-/l/
1×clear-num frac-2neg flip3-+ flip3-- flip-+ div-inv flip-- associate-/l*
Counts
4 → 85
Calls
4 calls:
Slowest
123.0ms
(/ (* (* 0.5 (sin re)) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)))) (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
11.0ms
(* 1/3 im)
5.0ms
(* 1/3 im)
5.0ms
(* 1/3 im)

series569.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
490.0ms
(/ (* (* 0.5 (sin re)) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)))) (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
27.0ms
(* 1/3 im)
27.0ms
(* 1/3 im)
25.0ms
(* 1/3 im)

simplify6.9s

Counts
59 → 97
Calls
59 calls:
Slowest
741.0ms
(* (* 0.5 (sin re)) (- (pow (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) 3) (pow (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)) 3)))
544.0ms
(sqrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
495.0ms
(* (* 0.5 (sin re)) (- (* (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5)))) (* (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)))))
445.0ms
(+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))
421.0ms
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))

prune1.5s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.1b

localize81.0ms

Local error

Found 4 expressions with local error:

13.5b
(* (/ (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))) (/ (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))
5.3b
(/ (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
0.7b
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
0.7b
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))

rewrite403.0ms

Algorithm
rewrite-expression-head
Rules
51×times-frac
47×add-sqr-sqrt add-exp-log
39×*-un-lft-identity add-cube-cbrt
34×cbrt-prod
33×add-cbrt-cube
30×associate-*r*
20×cbrt-div
18×prod-exp cbrt-unprod
14×cbrt-undiv div-exp
13×associate-*l* difference-of-squares
12×associate-/r/
10×flip3-+ flip-+
6×pow1 associate-/r*
5×frac-times
4×insert-posit16 associate-/l* add-log-exp
3×associate-*l/ associate-*r/ div-inv unswap-sqr
2×pow1/3 associate-/l/
1×clear-num frac-2neg flip3-- div-sub pow-prod-down *-commutative flip--
Counts
4 → 159
Calls
4 calls:
Slowest
245.0ms
(* (/ (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))) (/ (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))
135.0ms
(/ (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
9.0ms
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
9.0ms
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
451.0ms
(* (/ (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))) (/ (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))
332.0ms
(/ (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
220.0ms
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
193.0ms
(cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))

simplify41.1s

Counts
159 → 171
Calls
159 calls:
Slowest
1.7s
(* (* (* (/ (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))) (/ (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))) (/ (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))) (/ (* (* (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)))) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)))) (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
1.6s
(* (* (* (/ (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))) (/ (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))) (/ (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))) (* (* (/ (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))) (/ (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))) (/ (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))))
1.2s
(* (/ (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin 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/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)))) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)))) (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
1.1s
(* (/ (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin 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/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)))) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im)))) (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))
749.0ms
(+ (- (log (* 0.5 (sin re))) (+ (log (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))) (log (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))))) (log (/ (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* (+ (* (* 1/3 im) im) 2) im) (* (+ (* (* 1/3 im) im) 2) im))) (cbrt (+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))))))

prune2.9s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes473.0ms

Accuracy

0% (0.5b remaining)

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

bsearch6.0ms

end0.0ms

sample13.0s

Algorithm
intervals
Results
6.8s4786×body1280valid
3.1s3752×body640valid
934.0ms1932×body320valid
908.0ms4537×body80valid
803.0ms990×body160valid