Details

Time bar (total: 1.4m)

sample387.0ms

Algorithm
intervals
Results
223.0ms160×body1280valid
85.0ms115×body640valid
26.0ms51×body320valid
20.0ms129×body80valid
13.0ms37×body160valid

simplify287.0ms

Calls
1 calls:
Slowest
286.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 43.4b

localize18.0ms

Local error

Found 2 expressions with local error:

7.6b
(- (exp (- im)) (exp im))
0.0b
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
29×*-un-lft-identity
27×prod-diff
25×add-cube-cbrt
15×associate-*l*
11×distribute-rgt-in distribute-lft-in
8×associate-*r*
7×pow1 add-cbrt-cube add-exp-log
4×add-log-exp unswap-sqr
3×sub-neg fma-neg pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u flip3-- associate-*r/ *-commutative insert-posit16 log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares
1×diff-log
Calls
2 calls:
Slowest
101.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
29.0ms
(- (exp (- im)) (exp im))

series199.0ms

Calls
2 calls:
Slowest
124.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
76.0ms
(- (exp (- im)) (exp im))

simplify8.4s

Calls
78 calls:
Slowest
315.0ms
(* (* 0.5 (sin re)) (fma (- (sqrt (exp im))) (sqrt (exp im)) (* (sqrt (exp im)) (sqrt (exp im)))))
312.0ms
(* (fma (- (exp im)) 1 (* (exp im) 1)) (* 0.5 (sin re)))
270.0ms
(* (* 0.5 (sin re)) (fma (- (exp im)) 1 (* (exp im) 1)))
258.0ms
(* (fma (- (exp im)) 1 (* (exp im) 1)) (* 0.5 (sin re)))
257.0ms
(* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im))))

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize26.0ms

Local error

Found 4 expressions with local error:

0.4b
(* im -1/3)
0.1b
(* (* 0.5 (sin re)) (fma (pow im 5) -1/60 (* im (- (* (* im -1/3) im) 2))))
0.1b
(* (* im -1/3) im)
0.0b
(* im (- (* (* im -1/3) im) 2))

rewrite383.0ms

Algorithm
rewrite-expression-head
Rules
159×add-sqr-sqrt
132×prod-diff
129×associate-*l*
96×*-un-lft-identity
90×add-cube-cbrt
69×distribute-rgt-in distribute-lft-in
60×associate-*r*
37×unswap-sqr
18×pow1 add-cbrt-cube add-exp-log *-commutative
8×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×distribute-lft-out-- difference-of-squares
2×sub-neg associate-*r/ fma-udef
1×flip3-- flip--
Calls
4 calls:
Slowest
281.0ms
(* im (- (* (* im -1/3) im) 2))
48.0ms
(* (* 0.5 (sin re)) (fma (pow im 5) -1/60 (* im (- (* (* im -1/3) im) 2))))
39.0ms
(* (* im -1/3) im)
5.0ms
(* im -1/3)

series394.0ms

Calls
4 calls:
Slowest
229.0ms
(* (* 0.5 (sin re)) (fma (pow im 5) -1/60 (* im (- (* (* im -1/3) im) 2))))
109.0ms
(* im (- (* (* im -1/3) im) 2))
34.0ms
(* (* im -1/3) im)
21.0ms
(* im -1/3)

simplify13.0s

Calls
219 calls:
Slowest
591.0ms
(* (* (* (* im -1/3) (* im -1/3)) (* im -1/3)) (* (* im im) im))
528.0ms
(+ (log (* 0.5 (sin re))) (log (fma (pow im 5) -1/60 (* im (- (* (* im -1/3) im) 2)))))
471.0ms
(* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (fma (pow im 5) -1/60 (* im (- (* (* im -1/3) im) 2)))))
465.0ms
(* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (fma (pow im 5) -1/60 (* im (- (* (* im -1/3) im) 2)))))
443.0ms
(* (sqrt (* 0.5 (sin re))) (sqrt (fma (pow im 5) -1/60 (* im (- (* (* im -1/3) im) 2)))))

prune3.5s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.4b
(* im -1/3)
0.1b
(* (* 0.5 (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))
0.1b
(* (* im -1/3) im)
0.0b
(* (* (* im -1/3) im) im)

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
70×associate-*l*
52×add-sqr-sqrt
25×pow1 add-cbrt-cube add-exp-log
24×associate-*r*
20×*-un-lft-identity add-cube-cbrt
19×unswap-sqr
13×pow-prod-down prod-exp cbrt-unprod
8×*-commutative
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×fma-udef
1×distribute-rgt-in distribute-lft-in
Calls
4 calls:
Slowest
94.0ms
(* (* (* im -1/3) im) im)
28.0ms
(* (* 0.5 (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))
25.0ms
(* (* im -1/3) im)
5.0ms
(* im -1/3)

series399.0ms

Calls
4 calls:
Slowest
268.0ms
(* (* 0.5 (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))
65.0ms
(* (* (* im -1/3) im) im)
42.0ms
(* (* im -1/3) im)
24.0ms
(* im -1/3)

simplify9.0s

Calls
98 calls:
Slowest
604.0ms
(* (* (* (* im -1/3) (* im -1/3)) (* im -1/3)) (* (* im im) im))
541.0ms
(* (sqrt (* 0.5 (sin re))) (sqrt (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im)))))
522.0ms
(cbrt (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))
474.0ms
(* (sqrt (* 0.5 (sin re))) (sqrt (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im)))))
455.0ms
(* (* (* (* (* im -1/3) im) (* (* im -1/3) im)) (* (* im -1/3) im)) (* (* im im) im))

prune2.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt 0.5) (sin re))
0.4b
(* im -1/3)
0.3b
(* (sqrt 0.5) (* (* (sqrt 0.5) (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im)))))
0.2b
(* (* (sqrt 0.5) (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))

rewrite181.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
59×associate-*l*
45×associate-*r*
35×unswap-sqr
23×sqrt-prod
22×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
11×pow-prod-down prod-exp cbrt-unprod
7×*-commutative
6×fma-udef
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
Calls
4 calls:
Slowest
106.0ms
(* (sqrt 0.5) (* (* (sqrt 0.5) (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im)))))
52.0ms
(* (* (sqrt 0.5) (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))
10.0ms
(* (sqrt 0.5) (sin re))
10.0ms
(* im -1/3)

series787.0ms

Calls
4 calls:
Slowest
389.0ms
(* (sqrt 0.5) (* (* (sqrt 0.5) (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im)))))
324.0ms
(* (* (sqrt 0.5) (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))
50.0ms
(* (sqrt 0.5) (sin re))
24.0ms
(* im -1/3)

simplify27.2s

Calls
128 calls:
Slowest
1.2s
(* (sqrt 0.5) (* (+ (* (* (* im -1/3) im) im) (* -2 im)) (* (sqrt 0.5) (sin re))))
786.0ms
(* (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* (* (* (sqrt 0.5) (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im)))) (* (* (sqrt 0.5) (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))) (* (* (sqrt 0.5) (sin re)) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))))
609.0ms
(* (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* (* (* (sqrt 0.5) (sin re)) (* (sqrt 0.5) (sin re))) (* (sqrt 0.5) (sin re))) (* (* (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im)))) (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))))
574.0ms
(* (sqrt (* (sqrt 0.5) (sin re))) (sqrt (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im)))))
529.0ms
(sqrt (fma (pow im 5) -1/60 (+ (* (* (* im -1/3) im) im) (* -2 im))))

prune2.3s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

regimes635.0ms

Accuracy

0% (0.8b remaining)

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

bsearch5.0ms

end0.0ms

sample12.1s

Algorithm
intervals
Results
6.6s4766×body1280valid
3.1s3710×body640valid
1.0s1980×body320valid
813.0ms4572×body80valid
261.0ms922×body160valid