Details

Time bar (total: 43.4s)

sample237.0ms

Algorithm
intervals
Results
89.0ms98×body1280valid
69.0ms88×body640valid
37.0ms286×body80valid
20.0ms46×body320valid
4.0ms13×body160valid

simplify211.0ms

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

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite31.0ms

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

series253.0ms

Calls
3 calls:
Slowest
123.0ms
(+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)))
83.0ms
(* (exp im) (* 0.5 (sin re)))
47.0ms
(/ (* 0.5 (sin re)) (exp im))

simplify2.3s

Calls
27 calls:
Slowest
427.0ms
(+ im (log (* 0.5 (sin re))))
343.0ms
(- (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.08333333333333333 (pow re 3))))
334.0ms
(+ (* 0.5 (* re im)) (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))))
320.0ms
(* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))))
239.0ms
(- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))

prune530.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))
0.0b
(/ (* 0.5 (sin re)) (exp im))
0.0b
(* (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)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube
12×associate-*l* add-exp-log
11×pow1
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×sqrt-prod add-log-exp
4×pow-prod-down prod-exp cbrt-unprod insert-posit16
3×associate-/r* times-frac
2×associate-*r* *-commutative
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-+ div-exp flip-+ div-inv associate-/l*
Calls
4 calls:
Slowest
37.0ms
(+ (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))) (/ (* 0.5 (sin re)) (exp im)))
34.0ms
(* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))
14.0ms
(* (sqrt (exp im)) (* 0.5 (sin re)))
9.0ms
(/ (* 0.5 (sin re)) (exp im))

series290.0ms

Calls
4 calls:
Slowest
134.0ms
(+ (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))) (/ (* 0.5 (sin re)) (exp im)))
66.0ms
(* (sqrt (exp im)) (* 0.5 (sin re)))
52.0ms
(* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))
37.0ms
(/ (* 0.5 (sin re)) (exp im))

simplify2.9s

Calls
45 calls:
Slowest
349.0ms
(* (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))))
301.0ms
(- (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.08333333333333333 (pow re 3))))
252.0ms
(- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
245.0ms
(+ (* 0.5 (* re im)) (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))))
239.0ms
(+ (* 0.25 (* re im)) (+ (* 0.5 re) (* 0.0625 (* re (pow im 2)))))

prune941.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
36×times-frac
27×sqrt-prod
23×associate-*r*
16×add-cbrt-cube add-exp-log
12×associate-/r*
11×pow1
10×associate-*l*
5×prod-exp cbrt-unprod
4×pow-prod-down insert-posit16 div-inv add-log-exp
3×associate-/l*
2×cbrt-undiv clear-num frac-2neg div-exp *-commutative
1×frac-times associate-*l/ associate-*r/
Calls
4 calls:
Slowest
33.0ms
(* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))
15.0ms
(* (/ 0.5 (sqrt (exp im))) (/ (sin re) (sqrt (exp im))))
9.0ms
(/ (sin re) (sqrt (exp im)))
2.0ms
(/ 0.5 (sqrt (exp im)))

series257.0ms

Calls
4 calls:
Slowest
79.0ms
(* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))
73.0ms
(/ (sin re) (sqrt (exp im)))
67.0ms
(* (/ 0.5 (sqrt (exp im))) (/ (sin re) (sqrt (exp im))))
37.0ms
(/ 0.5 (sqrt (exp im)))

simplify4.1s

Calls
109 calls:
Slowest
693.0ms
(* (* (* (/ 0.5 (sqrt (exp im))) (/ 0.5 (sqrt (exp im)))) (/ 0.5 (sqrt (exp im)))) (* (* (/ (sin re) (sqrt (exp im))) (/ (sin re) (sqrt (exp im)))) (/ (sin re) (sqrt (exp im)))))
283.0ms
(- re (+ (* 1/2 (* re im)) (* 1/6 (pow re 3))))
279.0ms
(+ (* 0.5 (* re im)) (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))))
278.0ms
(- (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))) (* 0.5 (* re im)))
218.0ms
(* (* (* (/ 0.5 (sqrt (exp im))) (/ 0.5 (sqrt (exp im)))) (/ 0.5 (sqrt (exp im)))) (/ (* (* (sin re) (sin re)) (sin re)) (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im)))))

prune1.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

19.2b
(/ (+ (pow (* (exp im) (* 0.5 (sin re))) 3) (pow (/ (* 0.5 (sin re)) (exp im)) 3)) (+ (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (- (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im))) (* (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))))))
5.5b
(- (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im))) (* (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))))
0.4b
(pow (/ (* 0.5 (sin re)) (exp im)) 3)
0.4b
(pow (* (exp im) (* 0.5 (sin re))) 3)

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
21×times-frac
18×add-sqr-sqrt add-cube-cbrt
12×add-cbrt-cube
10×add-exp-log
8×pow1 unpow-prod-down cube-prod
7×associate-*r/
6×add-log-exp
5×associate-/l*
4×pow-exp sum-cubes insert-posit16 distribute-lft-out rem-cube-cbrt
3×associate-/r* pow-pow frac-sub div-inv
2×cube-mult pow-to-exp cbrt-undiv flip3-+ unpow3 div-exp associate-*l/ associate-/r/ flip-+ sub-div associate-/l/
1×cube-div frac-times clear-num sub-neg frac-2neg flip3-- distribute-rgt-out-- diff-log pow-prod-down prod-exp cbrt-unprod flip--
Calls
4 calls:
Slowest
117.0ms
(/ (+ (pow (* (exp im) (* 0.5 (sin re))) 3) (pow (/ (* 0.5 (sin re)) (exp im)) 3)) (+ (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (- (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im))) (* (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))))))
21.0ms
(- (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im))) (* (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))))
5.0ms
(pow (* (exp im) (* 0.5 (sin re))) 3)
3.0ms
(pow (/ (* 0.5 (sin re)) (exp im)) 3)

series577.0ms

Calls
4 calls:
Slowest
382.0ms
(/ (+ (pow (* (exp im) (* 0.5 (sin re))) 3) (pow (/ (* 0.5 (sin re)) (exp im)) 3)) (+ (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (- (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im))) (* (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))))))
92.0ms
(- (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im))) (* (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))))
54.0ms
(pow (* (exp im) (* 0.5 (sin re))) 3)
49.0ms
(pow (/ (* 0.5 (sin re)) (exp im)) 3)

simplify18.2s

Calls
95 calls:
Slowest
725.0ms
(+ (* (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (- (* (- (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im))) (* (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)))) (- (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im))) (* (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))))) (* (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (- (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im))) (* (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)))))))
672.0ms
(- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
602.0ms
(/ (sqrt (+ (pow (* (exp im) (* 0.5 (sin re))) 3) (pow (/ (* 0.5 (sin re)) (exp im)) 3))) 1)
524.0ms
(sqrt (+ (pow (* (exp im) (* 0.5 (sin re))) 3) (pow (/ (* 0.5 (sin re)) (exp im)) 3)))
450.0ms
(* (cbrt (+ (pow (* (exp im) (* 0.5 (sin re))) 3) (pow (/ (* 0.5 (sin re)) (exp im)) 3))) (cbrt (+ (pow (* (exp im) (* 0.5 (sin re))) 3) (pow (/ (* 0.5 (sin re)) (exp im)) 3))))

prune1.7s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes225.0ms

Accuracy

0% (0.0b remaining)

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

bsearch5.0ms

end0.0ms

sample8.6s

Algorithm
intervals
Results
3.8s3054×body1280valid
1.9s2424×body640valid
1.7s8447×body80valid
663.0ms1256×body320valid
219.0ms654×body160valid