Details

Time bar (total: 38.0s)

sample285.0ms

Algorithm
intervals
Results
133.0ms151×body1280valid
66.0ms109×body640valid
38.0ms126×body80valid
24.0ms60×body320valid
7.0ms30×body160valid

simplify265.0ms

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 44.0b

localize32.0ms

Local error

Found 3 expressions with local error:

6.3b
(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
0.0b
(/ (sin re) (exp im))
0.0b
(* (exp im) (sin re))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
27×*-un-lft-identity times-frac add-cube-cbrt
13×fma-neg prod-diff
7×add-cbrt-cube
5×pow1 add-exp-log add-log-exp
3×expm1-log1p-u associate-/r* associate-*r* associate-*l* insert-posit16 log1p-expm1-u div-inv associate-/l*
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
Calls
3 calls:
Slowest
60.0ms
(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
24.0ms
(* (exp im) (sin re))
17.0ms
(/ (sin re) (exp im))

series201.0ms

Calls
3 calls:
Slowest
107.0ms
(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
48.0ms
(/ (sin re) (exp im))
46.0ms
(* (exp im) (sin re))

simplify4.4s

Calls
83 calls:
Slowest
602.0ms
(fma (/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt (sin re)) (cbrt (exp im))) (- (* (sin re) (exp im))))
431.0ms
(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))
398.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
348.0ms
(* (* (* (exp im) (exp im)) (exp im)) (* (* (sin re) (sin re)) (sin re)))
212.0ms
(+ (* re im) (+ re (* 1/2 (* re (pow im 2)))))

prune921.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 30.0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(* -2 (* re im))
0.0b
(* (* -2 (* re im)) 0.5)

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1 add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
4×add-sqr-sqrt *-un-lft-identity associate-*r* associate-*l* add-cube-cbrt
2×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
Calls
2 calls:
Slowest
52.0ms
(* (* -2 (* re im)) 0.5)
23.0ms
(* -2 (* re im))

series60.0ms

Calls
2 calls:
Slowest
36.0ms
(* -2 (* re im))
24.0ms
(* (* -2 (* re im)) 0.5)

simplify2.3s

Calls
25 calls:
Slowest
610.0ms
(* (* (* -2 -2) -2) (* (* (* re im) (* re im)) (* re im)))
417.0ms
(* (* (* -2 -2) -2) (* (* (* re re) re) (* (* im im) im)))
197.0ms
(* (* (* (* -2 (* re im)) (* -2 (* re im))) (* -2 (* re im))) (* (* 0.5 0.5) 0.5))
162.0ms
(* (* (* (* -2 -2) -2) (* (* (* re im) (* re im)) (* re im))) (* (* 0.5 0.5) 0.5))
153.0ms
(* (* (* (* -2 -2) -2) (* (* (* re re) re) (* (* im im) im))) (* (* 0.5 0.5) 0.5))

prune509.0ms

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 30.0b

localize23.0ms

Local error

Found 4 expressions with local error:

13.7b
(cbrt (* -2 (* re im)))
13.7b
(cbrt (* -2 (* re im)))
13.7b
(cbrt (* -2 (* re im)))
0.5b
(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re im))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
9×pow1/3
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Calls
4 calls:
Slowest
41.0ms
(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re im))))
9.0ms
(cbrt (* -2 (* re im)))
8.0ms
(cbrt (* -2 (* re im)))
8.0ms
(cbrt (* -2 (* re im)))

series662.0ms

Calls
4 calls:
Slowest
218.0ms
(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re im))))
174.0ms
(cbrt (* -2 (* re im)))
146.0ms
(cbrt (* -2 (* re im)))
124.0ms
(cbrt (* -2 (* re im)))

simplify5.3s

Calls
45 calls:
Slowest
452.0ms
(* (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im))))) (cbrt -2))
402.0ms
(* (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im))))) (cbrt -2))
364.0ms
(* (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im))))) (cbrt -2))
358.0ms
(* (* -2 (* re im)) (* -2 (* re im)))
353.0ms
(* (* -2 (* re im)) (* -2 (* re im)))

prune864.0ms

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 30.0b

localize21.0ms

Local error

Found 4 expressions with local error:

13.8b
(cbrt (* (* -2 (* re im)) 0.5))
13.8b
(cbrt (* (* -2 (* re im)) 0.5))
13.8b
(cbrt (* (* -2 (* re im)) 0.5))
0.5b
(* (cbrt (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
9×pow1/3
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Calls
4 calls:
Slowest
89.0ms
(* (cbrt (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))
33.0ms
(cbrt (* (* -2 (* re im)) 0.5))
32.0ms
(cbrt (* (* -2 (* re im)) 0.5))
29.0ms
(cbrt (* (* -2 (* re im)) 0.5))

series618.0ms

Calls
4 calls:
Slowest
212.0ms
(* (cbrt (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))
138.0ms
(cbrt (* (* -2 (* re im)) 0.5))
135.0ms
(cbrt (* (* -2 (* re im)) 0.5))
133.0ms
(cbrt (* (* -2 (* re im)) 0.5))

simplify6.9s

Calls
45 calls:
Slowest
672.0ms
(* (* (* -2 (* re im)) 0.5) (* (* -2 (* re im)) 0.5))
647.0ms
(* (* (* -2 (* re im)) 0.5) (* (* -2 (* re im)) 0.5))
408.0ms
(* (cbrt -1.0) (exp (* 1/3 (+ (log im) (log re)))))
375.0ms
(* (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re))))) (cbrt -1.0))
371.0ms
(* (cbrt -1.0) (exp (* 1/3 (+ (log im) (log re)))))

prune790.0ms

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 30.0b

regimes759.0ms

Accuracy

23.2% (2.2b remaining)

Error of 31.1b against oracle of 28.9b and baseline of 31.8b

bsearch161.0ms

end0.0ms

sample12.5s

Algorithm
intervals
Results
6.0s4741×body1280valid
3.7s3790×body640valid
1.2s4502×body80valid
1.0s1953×body320valid
357.0ms988×body160valid