Details

Time bar (total: 37.2s)

sample257.0ms

Algorithm
intervals
Results
94.0ms91×body1280valid
74.0ms79×body640valid
41.0ms289×body80valid
17.0ms36×body320valid
6.0ms20×body160valid

simplify257.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite87.0ms

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

series240.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
116.0ms
(* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
107.0ms
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))
16.0ms
(/ 0.5 (exp im))

simplify2.5s

Counts
47 → 70
Calls
47 calls:
Slowest
499.0ms
(/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))
348.0ms
(* (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3)) (cos re))
233.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)))
212.0ms
(* (exp (/ 0.5 (exp im))) (exp (* (exp im) 0.5)))
202.0ms
(* (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (cos re))

prune720.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
40×times-frac
36×*-un-lft-identity add-cube-cbrt
29×sqrt-prod
25×associate-*r*
13×add-cbrt-cube
11×add-exp-log
9×associate-*l*
8×pow1
7×unswap-sqr
6×associate-/l* add-log-exp
4×insert-posit16
3×associate-/r* prod-exp cbrt-unprod
2×cbrt-undiv flip3-+ div-exp pow-prod-down associate-*l/ *-commutative flip-+ div-inv
1×+-commutative clear-num sum-log frac-2neg associate-*r/
Counts
4 → 122
Calls
4 calls:
Slowest
73.0ms
(* (+ (* (sqrt 0.5) (/ (sqrt 0.5) (exp im))) (* (exp im) 0.5)) (cos re))
24.0ms
(+ (* (sqrt 0.5) (/ (sqrt 0.5) (exp im))) (* (exp im) 0.5))
19.0ms
(* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))
6.0ms
(/ (sqrt 0.5) (exp im))

series459.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
192.0ms
(* (+ (* (sqrt 0.5) (/ (sqrt 0.5) (exp im))) (* (exp im) 0.5)) (cos re))
131.0ms
(+ (* (sqrt 0.5) (/ (sqrt 0.5) (exp im))) (* (exp im) 0.5))
92.0ms
(* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))
44.0ms
(/ (sqrt 0.5) (exp im))

simplify5.0s

Counts
116 → 134
Calls
116 calls:
Slowest
521.0ms
(- (+ (* 0.5 im) (+ (* 0.25 (pow im 2)) (+ (pow (sqrt 0.5) 2) (+ (* 1/2 (* (pow (sqrt 0.5) 2) (pow im 2))) 0.5)))) (* (pow (sqrt 0.5) 2) im))
416.0ms
(- (+ (pow (sqrt 0.5) 2) (* 1/2 (* (pow (sqrt 0.5) 2) (pow im 2)))) (* (pow (sqrt 0.5) 2) im))
408.0ms
(- (+ (* 0.5 im) (+ (* 0.25 (pow im 2)) (+ (pow (sqrt 0.5) 2) (+ (* 1/2 (* (pow (sqrt 0.5) 2) (pow im 2))) 0.5)))) (* (pow (sqrt 0.5) 2) im))
335.0ms
(* (- (* (* (sqrt 0.5) (/ (sqrt 0.5) (exp im))) (* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (cos re))
322.0ms
(* (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (/ (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* (exp im) (exp im)) (exp im))))

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.9b
(* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))
0.0b
(exp (log (* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))))
0.0b
(log (* (sqrt 0.5) (/ (sqrt 0.5) (exp im))))
0.0b
(/ (sqrt 0.5) (exp im))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
40×times-frac
35×*-un-lft-identity add-cube-cbrt
29×sqrt-prod
22×associate-*r*
14×add-exp-log
12×pow1
11×add-cbrt-cube
6×associate-*l* associate-/l* unswap-sqr
5×exp-prod
4×prod-exp log-pow insert-posit16 add-log-exp
3×associate-/r* div-exp rem-log-exp pow-prod-down associate-*r/
2×cbrt-undiv log-div log-prod cbrt-unprod div-inv
1×clear-num frac-2neg exp-diff exp-sum *-commutative rem-exp-log
Counts
4 → 120
Calls
4 calls:
Slowest
30.0ms
(exp (log (* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))))
20.0ms
(* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))
12.0ms
(log (* (sqrt 0.5) (/ (sqrt 0.5) (exp im))))
12.0ms
(/ (sqrt 0.5) (exp im))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
1.1s
(log (* (sqrt 0.5) (/ (sqrt 0.5) (exp im))))
106.0ms
(exp (log (* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))))
94.0ms
(* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))
47.0ms
(/ (sqrt 0.5) (exp im))

simplify3.7s

Counts
116 → 132
Calls
116 calls:
Slowest
432.0ms
(* (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (/ (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* (exp im) (exp im)) (exp im))))
374.0ms
(- (+ (pow (sqrt 0.5) 2) (* 1/2 (* (pow (sqrt 0.5) 2) (pow im 2)))) (* (pow (sqrt 0.5) 2) im))
310.0ms
(- (+ (pow (sqrt 0.5) 2) (* 1/2 (* (pow (sqrt 0.5) 2) (pow im 2)))) (* (pow (sqrt 0.5) 2) im))
275.0ms
(/ (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* (exp im) (exp im)) (exp im)))
232.0ms
(- (+ (* 1/2 (* (sqrt 0.5) (pow im 2))) (sqrt 0.5)) (* (sqrt 0.5) im))

prune1.7s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite297.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
25×*-un-lft-identity add-cube-cbrt
18×times-frac
15×add-cbrt-cube
14×sqrt-div
13×add-exp-log
12×associate-*l*
11×pow1
10×associate-*l/
7×flip3-+ sqrt-prod flip-+
6×associate-/r* associate-/l*
4×frac-times associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
2×cbrt-undiv clear-num frac-2neg div-exp associate-*r/ *-commutative div-inv unswap-sqr
Counts
4 → 111
Calls
4 calls:
Slowest
196.0ms
(* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re)))
78.0ms
(* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re))
13.0ms
(/ 0.5 (exp im))
6.0ms
(/ 0.5 (exp im))

series335.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
153.0ms
(* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re))
130.0ms
(* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re)))
27.0ms
(/ 0.5 (exp im))
24.0ms
(/ 0.5 (exp im))

simplify8.1s

Counts
103 → 123
Calls
103 calls:
Slowest
881.0ms
(* (* (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (* (* (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re)) (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re))) (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re))))
511.0ms
(sqrt (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))
511.0ms
(* (sqrt (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))) (sqrt (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))))
508.0ms
(* (sqrt (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))) (sqrt (- (/ 0.5 (exp im)) (* (exp im) 0.5))))
429.0ms
(* (sqrt (- (/ 0.5 (exp im)) (* (exp im) 0.5))) (sqrt (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))))

prune1.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes88.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.8s

Algorithm
intervals
Results
4.0s2997×body1280valid
2.2s2480×body640valid
1.3s8613×body80valid
535.0ms1192×body320valid
251.0ms607×body160valid