Details

Time bar (total: 27.7s)

sample196.0ms

Algorithm
intervals
Results
75.0ms93×body1280valid
46.0ms276×body80valid
36.0ms68×body640valid
16.0ms39×body320valid
5.0ms19×body160valid

simplify210.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (* 0.5 (sin re)) (exp im))
0.0b
(* (exp im) (* 0.5 (sin re)))
0.0b
(+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube
9×add-exp-log
8×pow1
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×add-log-exp
4×prod-exp cbrt-unprod
3×associate-/r* times-frac associate-*l* pow-prod-down insert-posit16
2×cbrt-undiv div-exp
1×+-commutative clear-num sum-log frac-2neg flip3-+ associate-*r* *-commutative flip-+ div-inv associate-/l*
Counts
3 → 53
Calls
3 calls:
Slowest
48.0ms
(* (exp im) (* 0.5 (sin re)))
42.0ms
(+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)))
21.0ms
(/ (* 0.5 (sin re)) (exp im))

series293.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
149.0ms
(+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)))
72.0ms
(* (exp im) (* 0.5 (sin re)))
72.0ms
(/ (* 0.5 (sin re)) (exp im))

simplify3.2s

Counts
32 → 62
Calls
32 calls:
Slowest
583.0ms
(* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))))
541.0ms
(* (exp (* (exp im) (* 0.5 (sin re)))) (exp (/ (* 0.5 (sin re)) (exp im))))
432.0ms
(* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))))
355.0ms
(- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
257.0ms
(+ (* 0.5 (* re im)) (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))))

prune610.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* 0.5 (sin re)) (exp im))
0.0b
(* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))
0.0b
(+ (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))) (/ (* 0.5 (sin re)) (exp im)))
0.0b
(* (sqrt (exp im)) (* 0.5 (sin re)))

rewrite221.0ms

Algorithm
rewrite-expression-head
Rules
23×add-cbrt-cube
21×add-exp-log
18×pow1
12×associate-*l*
10×add-sqr-sqrt *-un-lft-identity prod-exp add-cube-cbrt cbrt-unprod
9×pow-prod-down
6×sqrt-prod add-log-exp
4×insert-posit16
3×associate-/r* times-frac
2×cbrt-undiv div-exp associate-*r* *-commutative
1×+-commutative clear-num sum-log frac-2neg flip3-+ flip-+ div-inv associate-/l*
Counts
4 → 81
Calls
4 calls:
Slowest
105.0ms
(* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))
62.0ms
(+ (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))) (/ (* 0.5 (sin re)) (exp im)))
30.0ms
(* (sqrt (exp im)) (* 0.5 (sin re)))
23.0ms
(/ (* 0.5 (sin re)) (exp im))

series326.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
160.0ms
(+ (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))) (/ (* 0.5 (sin re)) (exp im)))
70.0ms
(* (sqrt (exp im)) (* 0.5 (sin re)))
57.0ms
(* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))
39.0ms
(/ (* 0.5 (sin re)) (exp im))

simplify4.7s

Counts
53 → 93
Calls
53 calls:
Slowest
602.0ms
(* (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))))
459.0ms
(+ (log (sqrt (exp im))) (log (* 0.5 (sin re))))
440.0ms
(* (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))))
313.0ms
(- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
246.0ms
(+ (* 0.25 (* re im)) (+ (* 0.5 re) (* 0.0625 (* re (pow im 2)))))

prune972.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (sin re) (exp im))
0.0b
(* (exp im) (sin re))
0.0b
(+ (/ (sin re) (exp im)) (* (exp im) (sin re)))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×*-un-lft-identity add-cube-cbrt
9×times-frac
7×add-cbrt-cube
5×pow1 add-exp-log add-log-exp
3×associate-/r* associate-*r* associate-*l* insert-posit16 associate-/l*
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-+ div-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ div-inv unswap-sqr
Counts
3 → 59
Calls
3 calls:
Slowest
28.0ms
(* (exp im) (sin re))
19.0ms
(+ (/ (sin re) (exp im)) (* (exp im) (sin re)))
18.0ms
(/ (sin re) (exp im))

series182.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
92.0ms
(+ (/ (sin re) (exp im)) (* (exp im) (sin re)))
59.0ms
(* (exp im) (sin re))
31.0ms
(/ (sin re) (exp im))

simplify1.9s

Counts
45 → 68
Calls
45 calls:
Slowest
397.0ms
(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))
322.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
317.0ms
(* (* (* (exp im) (exp im)) (exp im)) (* (* (sin re) (sin re)) (sin re)))
257.0ms
(- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3)))
169.0ms
(* (exp (/ (sin re) (exp im))) (exp (* (exp im) (sin re))))

prune616.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* 0.5 (sin re)) (exp im))
0.0b
(* (fabs (cbrt (exp im))) (* (sqrt (cbrt (exp im))) (* 0.5 (sin re))))
0.0b
(cbrt (exp im))
0.0b
(cbrt (exp im))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
18×add-cbrt-cube
16×add-exp-log
13×pow1
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×prod-exp cbrt-unprod
6×cbrt-prod pow-prod-down
4×insert-posit16 add-log-exp
3×associate-/r* times-frac associate-*l*
2×cbrt-undiv pow1/3 div-exp
1×clear-num frac-2neg associate-*r* *-commutative div-inv associate-/l*
Counts
4 → 68
Calls
4 calls:
Slowest
81.0ms
(* (fabs (cbrt (exp im))) (* (sqrt (cbrt (exp im))) (* 0.5 (sin re))))
17.0ms
(/ (* 0.5 (sin re)) (exp im))
2.0ms
(cbrt (exp im))
2.0ms
(cbrt (exp im))

series467.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
139.0ms
(cbrt (exp im))
138.0ms
(cbrt (exp im))
132.0ms
(* (fabs (cbrt (exp im))) (* (sqrt (cbrt (exp im))) (* 0.5 (sin re))))
58.0ms
(/ (* 0.5 (sin re)) (exp im))

simplify2.9s

Counts
43 → 80
Calls
43 calls:
Slowest
315.0ms
(* (* (* (fabs (cbrt (exp im))) (fabs (cbrt (exp im)))) (fabs (cbrt (exp im)))) (* (* (* (sqrt (cbrt (exp im))) (sqrt (cbrt (exp im)))) (sqrt (cbrt (exp im)))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))))
263.0ms
(* 0.5 (* (sin re) (* (fabs (pow (exp im) 1/3)) (exp (* 1/6 im)))))
261.0ms
(* 0.5 (* (sin re) (* (fabs (pow (exp im) 1/3)) (exp (* 1/6 im)))))
242.0ms
(* (* (* (fabs (cbrt (exp im))) (fabs (cbrt (exp im)))) (fabs (cbrt (exp im)))) (* (* (* (sqrt (cbrt (exp im))) (sqrt (cbrt (exp im)))) (sqrt (cbrt (exp im)))) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))))
228.0ms
(* (* (* (fabs (cbrt (exp im))) (fabs (cbrt (exp im)))) (fabs (cbrt (exp im)))) (* (* (* (sqrt (cbrt (exp im))) (* 0.5 (sin re))) (* (sqrt (cbrt (exp im))) (* 0.5 (sin re)))) (* (sqrt (cbrt (exp im))) (* 0.5 (sin re)))))

prune1.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes159.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch4.0ms

end0.0ms

sample9.0s

Algorithm
intervals
Results
3.2s2917×body1280valid
2.5s2523×body640valid
1.7s8537×body80valid
666.0ms644×body160valid
605.0ms1235×body320valid