Details

Time bar (total: 40.4s)

sample338.0ms

Algorithm
intervals
Results
167.0ms146×body1280valid
96.0ms140×body640valid
24.0ms52×body320valid
23.0ms160×body80valid
9.0ms32×body160valid

simplify241.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 41.1b

localize38.0ms

Local error

Found 2 expressions with local error:

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

rewrite96.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
69.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
26.0ms
(- (exp (- im)) (exp im))

series178.0ms

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

simplify2.1s

Counts
27 → 48
Calls
27 calls:
Slowest
213.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))))
212.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
207.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))))
188.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
185.0ms
(* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im))))

prune569.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

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

rewrite76.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
36.0ms
(* (* 0.5 (sin re)) (- (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im)))
17.0ms
(* 1/3 im)
13.0ms
(* (* 1/3 im) im)
9.0ms
(* -1/60 (pow im 5))

series371.0ms

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

simplify6.4s

Counts
63 → 101
Calls
63 calls:
Slowest
510.0ms
(+ (* -1/60 (pow im 5)) (* (+ (* (* 1/3 im) im) 2) im))
397.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))))
366.0ms
(* (* 0.5 (sin re)) (- (* (+ (* (* 1/3 im) im) 2) im)))
361.0ms
(* (* 0.5 (sin re)) (- (* (+ (* (* 1/3 im) im) 2) im)))
314.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

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
43×add-exp-log
28×add-cbrt-cube
27×prod-exp
19×pow1
15×add-sqr-sqrt cbrt-unprod
14×associate-*r*
9×*-un-lft-identity pow-prod-down add-cube-cbrt
6×associate-*l*
4×unpow-prod-down *-commutative insert-posit16 add-log-exp unswap-sqr
3×pow-to-exp pow-exp
2×sqr-pow
Counts
4 → 90
Calls
4 calls:
Slowest
31.0ms
(* (* 0.5 (sin re)) im)
27.0ms
(* (* 0.5 (sin re)) (* -1/60 (pow im 5)))
17.0ms
(* (* im im) -1/3)
7.0ms
(* -1/60 (pow im 5))

series332.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
165.0ms
(* (* 0.5 (sin re)) (* -1/60 (pow im 5)))
80.0ms
(* -1/60 (pow im 5))
52.0ms
(* (* 0.5 (sin re)) im)
34.0ms
(* (* im im) -1/3)

simplify7.5s

Counts
64 → 102
Calls
64 calls:
Slowest
659.0ms
(* (* (* -1/60 -1/60) -1/60) (* (* (pow im 5) (pow im 5)) (pow im 5)))
546.0ms
(* (* 0.5 (sin re)) (* -1/60 (pow im 5)))
499.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* im im) im))
492.0ms
(* (* 0.5 (sin re)) (* -1/60 (pow im 5)))
393.0ms
(* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* im im) im))

prune1.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

15.0b
(cbrt (* (* 0.5 (sin re)) im))
15.0b
(cbrt (* (* 0.5 (sin re)) im))
15.0b
(cbrt (* (* 0.5 (sin re)) im))
0.5b
(* (cbrt (* (* 0.5 (sin re)) im)) (cbrt (* (* 0.5 (sin re)) im)))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
9×pow1/3
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 62
Calls
4 calls:
Slowest
47.0ms
(* (cbrt (* (* 0.5 (sin re)) im)) (cbrt (* (* 0.5 (sin re)) im)))
26.0ms
(cbrt (* (* 0.5 (sin re)) im))
11.0ms
(cbrt (* (* 0.5 (sin re)) im))
11.0ms
(cbrt (* (* 0.5 (sin re)) im))

series701.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
198.0ms
(* (cbrt (* (* 0.5 (sin re)) im)) (cbrt (* (* 0.5 (sin re)) im)))
173.0ms
(cbrt (* (* 0.5 (sin re)) im))
172.0ms
(cbrt (* (* 0.5 (sin re)) im))
157.0ms
(cbrt (* (* 0.5 (sin re)) im))

simplify4.8s

Counts
45 → 74
Calls
45 calls:
Slowest
383.0ms
(- (* (cbrt 0.5) (exp (* 1/3 (+ (log im) (log re))))) (* 1/18 (* (pow re 2) (* (cbrt 0.5) (exp (* 1/3 (+ (log im) (log re))))))))
379.0ms
(- (* (cbrt 0.5) (exp (* 1/3 (+ (log im) (log re))))) (* 1/18 (* (pow re 2) (* (cbrt 0.5) (exp (* 1/3 (+ (log im) (log re))))))))
368.0ms
(- (* (cbrt 0.5) (exp (* 1/3 (+ (log im) (log re))))) (* 1/18 (* (pow re 2) (* (cbrt 0.5) (exp (* 1/3 (+ (log im) (log re))))))))
368.0ms
(* (cbrt 0.5) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im))))))
366.0ms
(* (cbrt 0.5) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im))))))

prune1.2s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes409.0ms

Accuracy

0% (0.7b remaining)

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

bsearch5.0ms

end0.0ms

sample12.4s

Algorithm
intervals
Results
6.1s4819×body1280valid
3.4s3710×body640valid
1.3s4533×body80valid
929.0ms1906×body320valid
351.0ms941×body160valid