Details

Time bar (total: 23.3s)

sample244.0ms

Algorithm
intervals
Results
85.0ms88×body1280valid
68.0ms77×body640valid
40.0ms304×body80valid
27.0ms56×body320valid
6.0ms24×body160valid

simplify226.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.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
16.0ms
(* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
15.0ms
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))
1.0ms
(/ 0.5 (exp im))

series145.0ms

Calls
3 calls:
Slowest
73.0ms
(* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
59.0ms
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))
13.0ms
(/ 0.5 (exp im))

simplify1.7s

Calls
23 calls:
Slowest
547.0ms
(* (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (cos re))
227.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)))
171.0ms
(* (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3)) (cos re))
139.0ms
(* (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) (cos re))
125.0ms
(- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))

prune560.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

6.5b
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
0.0b
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
0.0b
(* (* (exp im) 0.5) (* (exp im) 0.5))
0.0b
(* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
28×pow1
13×add-cbrt-cube add-exp-log
7×pow-plus pow-prod-up
6×associate-*r* add-log-exp
5×add-sqr-sqrt frac-times *-un-lft-identity pow-prod-down associate-*l/ prod-exp add-cube-cbrt cbrt-unprod
4×pow2 insert-posit16
3×associate-*l* associate-*r/ *-commutative
1×sub-neg flip3-- distribute-rgt-out-- diff-log pow3 div-inv flip--
Calls
4 calls:
Slowest
32.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
30.0ms
(* (* (exp im) 0.5) (* (exp im) 0.5))
22.0ms
(* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
15.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))

series123.0ms

Calls
4 calls:
Slowest
38.0ms
(* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
36.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
25.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
24.0ms
(* (* (exp im) 0.5) (* (exp im) 0.5))

simplify4.1s

Calls
60 calls:
Slowest
478.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)))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
432.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)))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
364.0ms
(/ (exp (* (* (exp im) 0.5) (* (exp im) 0.5))) (exp (* (/ 0.5 (exp im)) (* (exp im) 0.5))))
343.0ms
(+ (log (* (/ 0.5 (exp im)) (/ 0.5 (exp im)))) (log (/ 0.5 (exp im))))
292.0ms
(+ (+ (log (/ 0.5 (exp im))) (log (/ 0.5 (exp im)))) (log (/ 0.5 (exp im))))

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

6.5b
(- (* (exp im) 0.5) (/ 0.5 (exp im)))
0.0b
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
0.0b
(* (* (exp im) 0.5) (- (* (exp im) 0.5) (/ 0.5 (exp im))))
0.0b
(* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1
13×add-cbrt-cube add-exp-log
8×associate-*r*
6×add-sqr-sqrt *-un-lft-identity pow-plus pow-prod-up add-cube-cbrt add-log-exp
5×frac-times pow-prod-down associate-*l/ prod-exp associate-*r/ cbrt-unprod
4×insert-posit16
3×pow2 sub-neg associate-*l* *-commutative
2×distribute-rgt-in distribute-lft-in flip3-- flip--
1×diff-log pow3 div-inv
Calls
4 calls:
Slowest
21.0ms
(* (* (exp im) 0.5) (- (* (exp im) 0.5) (/ 0.5 (exp im))))
18.0ms
(* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
9.0ms
(- (* (exp im) 0.5) (/ 0.5 (exp im)))
7.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))

series208.0ms

Calls
4 calls:
Slowest
81.0ms
(* (* (exp im) 0.5) (- (* (exp im) 0.5) (/ 0.5 (exp im))))
72.0ms
(- (* (exp im) 0.5) (/ 0.5 (exp im)))
38.0ms
(* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
17.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))

simplify5.3s

Calls
64 calls:
Slowest
495.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)))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
456.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)))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
340.0ms
(+ (log (* (/ 0.5 (exp im)) (/ 0.5 (exp im)))) (log (/ 0.5 (exp im))))
301.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))))
298.0ms
(* 0.5 (* (exp im) (- (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im))))))

prune1.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes68.0ms

Accuracy

0% (0.1b remaining)

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

bsearch4.0ms

end0.0ms

sample7.8s

Algorithm
intervals
Results
3.0s2978×body1280valid
2.4s2524×body640valid
1.3s8713×body80valid
591.0ms1207×body320valid
216.0ms602×body160valid