Details

Time bar (total: 29.9s)

sample101.0ms

Algorithm
intervals
Results
33.0ms52×body1280valid
32.0ms200×body80valid
15.0ms37×body640valid
10.0ms36×body320valid
2.0ms10×body160valid

simplify4.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
4.0ms
(* (exp re) (sin im))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (exp re) (sin im))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
3×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-cube-cbrt
2×add-exp-log
1×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
1 → 19
Calls
1 calls:
Slowest
26.0ms
(* (exp re) (sin im))

series82.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
82.0ms
(* (exp re) (sin im))

simplify556.0ms

Counts
13 → 22
Calls
13 calls:
Slowest
307.0ms
(* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))
176.0ms
(+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
11.0ms
(* (sqrt (exp re)) (sqrt (sin im)))
10.0ms
(* (sqrt (exp re)) (sqrt (sin im)))
7.0ms
(* (exp re) (sin im))

prune153.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

11.0b
(cbrt (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))))
0.2b
(* (* (exp re) (sin im)) (* (exp re) (sin im)))
0.2b
(* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im)))
0.0b
(* (exp re) (sin im))

rewrite517.0ms

Algorithm
rewrite-expression-head
Rules
200×pow1
87×pow-prod-down
59×add-cbrt-cube
41×add-exp-log
40×prod-exp cbrt-unprod
38×pow-prod-up
19×pow-plus
16×pow-sqr
8×add-sqr-sqrt
6×*-un-lft-identity add-cube-cbrt
5×associate-*r* associate-*l*
4×pow2 insert-posit16 add-log-exp
3×*-commutative
2×pow3
1×cbrt-prod pow1/3 swap-sqr rem-cbrt-cube unswap-sqr
Counts
4 → 140
Calls
4 calls:
Slowest
209.0ms
(* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im)))
186.0ms
(cbrt (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))))
93.0ms
(* (* (exp re) (sin im)) (* (exp re) (sin im)))
24.0ms
(* (exp re) (sin im))

series283.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
89.0ms
(* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im)))
73.0ms
(* (exp re) (sin im))
70.0ms
(* (* (exp re) (sin im)) (* (exp re) (sin im)))
50.0ms
(cbrt (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))))

simplify10.5s

Counts
146 → 152
Calls
146 calls:
Slowest
591.0ms
(* (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))) (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))))
469.0ms
(* (* (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))) (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))))
433.0ms
(* (* (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))))
414.0ms
(* (* (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (* (exp re) (sin im)) (* (exp re) (sin im)))) (* (* (exp re) (sin im)) (* (exp re) (sin im)))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))))
410.0ms
(* (* (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))) (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im)))) (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))))

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

11.0b
(cbrt (* (* (* (exp re) (exp re)) (* (sin im) (sin im))) (* (exp re) (sin im))))
0.3b
(* (sin im) (sin im))
0.2b
(* (* (* (exp re) (exp re)) (* (sin im) (sin im))) (* (exp re) (sin im)))
0.0b
(* (exp re) (sin im))

rewrite511.0ms

Algorithm
rewrite-expression-head
Rules
120×pow1
57×pow-prod-down
49×add-cbrt-cube
35×add-exp-log
33×prod-exp cbrt-unprod
25×pow-prod-up
19×pow-plus
14×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
7×pow2 associate-*r* associate-*l* pow-sqr
4×insert-posit16 add-log-exp
3×swap-sqr *-commutative sin-mult
2×associate-*l/ associate-*r/ unswap-sqr
1×cbrt-prod cbrt-div pow1/3 sqr-sin
Counts
4 → 118
Calls
4 calls:
Slowest
244.0ms
(* (* (* (exp re) (exp re)) (* (sin im) (sin im))) (* (exp re) (sin im)))
225.0ms
(cbrt (* (* (* (exp re) (exp re)) (* (sin im) (sin im))) (* (exp re) (sin im))))
20.0ms
(* (sin im) (sin im))
16.0ms
(* (exp re) (sin im))

series213.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
78.0ms
(* (* (* (exp re) (exp re)) (* (sin im) (sin im))) (* (exp re) (sin im)))
71.0ms
(cbrt (* (* (* (exp re) (exp re)) (* (sin im) (sin im))) (* (exp re) (sin im))))
43.0ms
(* (exp re) (sin im))
21.0ms
(* (sin im) (sin im))

simplify10.5s

Counts
110 → 130
Calls
110 calls:
Slowest
490.0ms
(* (* (* (* (* (exp re) (exp re)) (* (exp re) (exp re))) (* (exp re) (exp re))) (* (* (* (sin im) (sin im)) (* (sin im) (sin im))) (* (sin im) (sin im)))) (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))))
485.0ms
(* (* (* (* (* (exp re) (exp re)) (* (sin im) (sin im))) (* (* (exp re) (exp re)) (* (sin im) (sin im)))) (* (* (exp re) (exp re)) (* (sin im) (sin im)))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))))
460.0ms
(* (* (* (* (* (exp re) (exp re)) (exp re)) (* (* (exp re) (exp re)) (exp re))) (* (* (* (sin im) (sin im)) (sin im)) (* (* (sin im) (sin im)) (sin im)))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))))
435.0ms
(* (* (* (* (* (exp re) (exp re)) (* (exp re) (exp re))) (* (exp re) (exp re))) (* (* (* (sin im) (sin im)) (sin im)) (* (* (sin im) (sin im)) (sin im)))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))))
430.0ms
(* (* (* (exp re) (exp re)) (- (cos (- im im)) (cos (+ im im)))) (* (exp re) (sin im)))

prune1.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes111.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.3s1519×body1280valid
714.0ms6837×body80valid
633.0ms1244×body640valid
480.0ms293×body160valid
244.0ms643×body320valid