Details

Time bar (total: 19.9s)

sample225.0ms

Algorithm
intervals
Results
92.0ms98×body1280valid
63.0ms88×body640valid
32.0ms286×body80valid
19.0ms46×body320valid
3.0ms13×body160valid

simplify240.0ms

Calls
1 calls:
Slowest
240.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite32.0ms

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

series157.0ms

Calls
3 calls:
Slowest
94.0ms
(* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
45.0ms
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))
17.0ms
(/ 0.5 (exp im))

simplify1.1s

Calls
23 calls:
Slowest
192.0ms
(* (* (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (* (* (cos re) (cos re)) (cos re)))
167.0ms
(* (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3)) (cos re))
152.0ms
(* (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (cos re))
118.0ms
(* (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) (cos re))
114.0ms
(- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))

prune593.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite29.0ms

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

series165.0ms

Calls
3 calls:
Slowest
93.0ms
(* (+ (* (exp im) 0.5) (/ 0.5 (exp im))) (cos re))
62.0ms
(+ (* (exp im) 0.5) (/ 0.5 (exp im)))
10.0ms
(/ 0.5 (exp im))

simplify1.2s

Calls
23 calls:
Slowest
216.0ms
(* (+ (pow (* (exp im) 0.5) 3) (pow (/ 0.5 (exp im)) 3)) (cos re))
210.0ms
(* (* (* (+ (* (exp im) 0.5) (/ 0.5 (exp im))) (+ (* (exp im) 0.5) (/ 0.5 (exp im)))) (+ (* (exp im) 0.5) (/ 0.5 (exp im)))) (* (* (cos re) (cos re)) (cos re)))
155.0ms
(* (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (/ 0.5 (exp im)))) (cos re))
126.0ms
(* (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) (cos re))
114.0ms
(- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))

prune576.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

7.6b
(- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (/ 0.5 (exp im))))
0.1b
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
0.1b
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
0.0b
(* (* 0.5 (exp im)) (* 0.5 (exp im)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1
10×add-cbrt-cube add-exp-log
9×associate-*r* associate-*l* associate-*r/
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-log-exp
4×associate-*l/ insert-posit16 div-inv
3×pow2 frac-times pow-plus pow-prod-down prod-exp *-commutative pow-prod-up frac-sub cbrt-unprod
2×sub-div
1×sub-neg flip3-- distribute-rgt-out-- diff-log flip--
Calls
4 calls:
Slowest
17.0ms
(- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (/ 0.5 (exp im))))
8.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
6.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
5.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))

series523.0ms

Calls
4 calls:
Slowest
440.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
39.0ms
(- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (/ 0.5 (exp im))))
28.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
15.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))

simplify3.1s

Calls
64 calls:
Slowest
323.0ms
(- (* (* 0.5 0.5) (exp im)) (* (* (exp im) (exp im)) (* (* (exp im) 0.5) 0.5)))
293.0ms
(* (* (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* 0.5 (exp im))) (* (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* 0.5 (exp im))))
291.0ms
(- (* 0.5 (pow im 2)) (+ (* 0.3333333333333333 (pow im 3)) (* 0.5 im)))
263.0ms
(- (* (* (/ 0.5 (exp im)) 0.5) (exp im)) (* (exp im) (* (* (exp im) 0.5) 0.5)))
234.0ms
(/ (exp (* (/ 0.5 (exp im)) (/ 0.5 (exp im)))) (exp (* (* (exp im) 0.5) (/ 0.5 (exp im)))))

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (exp (- im)) (exp im))
0.0b
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
7×*-un-lft-identity
4×pow1 add-cbrt-cube associate-*r* add-exp-log add-log-exp
3×add-sqr-sqrt add-cube-cbrt
2×flip3-+ associate-*r/ flip-+ insert-posit16 distribute-lft-out
1×distribute-rgt-in +-commutative sum-log distribute-lft-in associate-*l* pow-prod-down prod-exp *-commutative cbrt-unprod
Calls
2 calls:
Slowest
21.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
14.0ms
(+ (exp (- im)) (exp im))

series112.0ms

Calls
2 calls:
Slowest
78.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
34.0ms
(+ (exp (- im)) (exp im))

simplify1.4s

Calls
19 calls:
Slowest
264.0ms
(* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))))
193.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
179.0ms
(* 0.5 (* (+ (exp im) (exp (* -1 im))) (cos re)))
170.0ms
(* 0.5 (* (cos re) (+ (exp (- im)) (exp im))))
167.0ms
(+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))

prune452.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes257.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample8.0s

Algorithm
intervals
Results
3.2s3054×body1280valid
1.7s2427×body640valid
1.6s8452×body80valid
923.0ms1251×body320valid
234.0ms658×body160valid