Details

Time bar (total: 23.8s)

sample260.0ms

Algorithm
intervals
Results
118.0ms98×body1280valid
58.0ms90×body640valid
40.0ms283×body80valid
15.0ms36×body320valid
5.0ms17×body160valid

simplify206.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite62.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
26.0ms
(+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)))
22.0ms
(* (exp im) (* 0.5 (sin re)))
13.0ms
(/ (* 0.5 (sin re)) (exp im))

series269.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
134.0ms
(+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)))
86.0ms
(* (exp im) (* 0.5 (sin re)))
49.0ms
(/ (* 0.5 (sin re)) (exp im))

simplify3.3s

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))))
479.0ms
(* (exp (* (exp im) (* 0.5 (sin re)))) (exp (/ (* 0.5 (sin re)) (exp im))))
397.0ms
(- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
393.0ms
(* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))))
304.0ms
(+ (* 0.5 (* re im)) (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))))

prune573.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
55×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×associate-/r* add-cbrt-cube
12×add-exp-log
9×pow1
6×div-inv associate-/l* add-log-exp
4×cbrt-undiv div-exp insert-posit16
3×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×clear-num frac-2neg
1×+-commutative sum-log flip3-+ associate-*r* associate-/r/ *-commutative flip-+
Counts
4 → 130
Calls
4 calls:
Slowest
34.0ms
(* (exp im) (* 0.5 (sin re)))
28.0ms
(+ (* (exp im) (* 0.5 (sin re))) (/ 0.5 (/ (exp im) (sin re))))
7.0ms
(/ 0.5 (/ (exp im) (sin re)))
6.0ms
(/ (exp im) (sin re))

series321.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
148.0ms
(+ (* (exp im) (* 0.5 (sin re))) (/ 0.5 (/ (exp im) (sin re))))
61.0ms
(/ (exp im) (sin re))
57.0ms
(/ 0.5 (/ (exp im) (sin re)))
55.0ms
(* (exp im) (* 0.5 (sin re)))

simplify8.1s

Counts
145 → 142
Calls
145 calls:
Slowest
637.0ms
(* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))))
628.0ms
(/ (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (sin re)) (cbrt (sin re)))))
501.0ms
(/ (* (* (exp im) (exp im)) (exp im)) (* (* (sin re) (sin re)) (sin re)))
414.0ms
(/ (* (* 0.5 0.5) 0.5) (* (* (/ (exp im) (sin re)) (/ (exp im) (sin re))) (/ (exp im) (sin re))))
406.0ms
(* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))))

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes134.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.1s

Algorithm
intervals
Results
3.3s2985×body1280valid
2.3s2533×body640valid
2.3s8621×body80valid
624.0ms1214×body320valid
220.0ms607×body160valid