Details

sample336.0ms

Algorithm

intervals

Results

199.0ms	151×	body	1280	valid
69.0ms	109×	body	640	valid
26.0ms	60×	body	320	valid
17.0ms	126×	body	80	valid
9.0ms	30×	body	160	valid

simplify196.0ms

Calls

1 calls:

Slowest

196.0ms

(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 44.0b

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
7×	`add-cbrt-cube`
5×	`pow1` `add-exp-log` `add-log-exp`
3×	`associate-/r` `associate-r` `associate-l` `insert-posit16` `associate-/l`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `flip3--` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `div-inv` `flip--`

Calls

3 calls:

Slowest

28.0ms	(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
8.0ms	(* (exp im) (sin re))
7.0ms	(/ (sin re) (exp im))

series206.0ms

Calls

3 calls:

Slowest

108.0ms	(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
50.0ms	(* (exp im) (sin re))
48.0ms	(/ (sin re) (exp im))

simplify1.1s

Calls

43 calls:

Slowest

236.0ms	(- re (+ (* re im) (* 1/6 (pow re 3))))
219.0ms	(+ (* re im) (+ re (* 1/2 (* re (pow im 2)))))
147.0ms	(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))
96.0ms	(* (* (* (exp im) (exp im)) (exp im)) (* (* (sin re) (sin re)) (sin re)))
46.0ms	(/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im))))

prune687.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 30.0b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

2×	`add-sqr-sqrt` `pow1` `-un-lft-identity` `add-cbrt-cube` `add-exp-log` `-commutative` `add-cube-cbrt` `insert-posit16` `add-log-exp`
1×	`associate-r` `associate-l`

Calls

2 calls:

Slowest

5.0ms	(* (* -2 (* re im)) 0.5)
1.0ms	(* -2 (* re im))

series60.0ms

Calls

2 calls:

Slowest

36.0ms	(* -2 (* re im))
23.0ms	(* (* -2 (* re im)) 0.5)

simplify143.0ms

Calls

6 calls:

Slowest

26.0ms	(* -1.0 (* re im))
26.0ms	(* -1.0 (* re im))
25.0ms	(* -2 (* re im))
25.0ms	(* -1.0 (* re im))
24.0ms	(* -2 (* re im))

prune286.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 30.0b

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

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1`
7×	`pow1/3`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-exp-log` `add-cube-cbrt`
5×	`cbrt-prod`
4×	`add-cbrt-cube` `associate-r` `associate-l` `insert-posit16` `add-log-exp`
2×	`pow-prod-down` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

7.0ms	(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re im))))
2.0ms	(cbrt (* -2 (* re im)))
1.0ms	(cbrt (* -2 (* re im)))
1.0ms	(cbrt (* -2 (* re im)))

series635.0ms

Calls

4 calls:

Slowest

212.0ms	(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re im))))
159.0ms	(cbrt (* -2 (* re im)))
133.0ms	(cbrt (* -2 (* re im)))
131.0ms	(cbrt (* -2 (* re im)))

simplify3.1s

Calls

31 calls:

Slowest

283.0ms	(* (cbrt -2) (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re))))))
272.0ms	(* (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im))))) (cbrt -2))
266.0ms	(* (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im))))) (cbrt -2))
260.0ms	(* (cbrt -2) (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re))))))
254.0ms	(* (exp (* 1/3 (+ (* 2 (log im)) (* 2 (log re))))) (pow (cbrt -2) 2))

prune757.0ms

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 30.0b

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

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1`
7×	`pow1/3`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-exp-log` `add-cube-cbrt`
5×	`cbrt-prod`
4×	`add-cbrt-cube` `associate-r` `associate-l` `insert-posit16` `add-log-exp`
2×	`pow-prod-down` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

28.0ms	(* (cbrt (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))
4.0ms	(cbrt (* (* -2 (* re im)) 0.5))
4.0ms	(cbrt (* (* -2 (* re im)) 0.5))
4.0ms	(cbrt (* (* -2 (* re im)) 0.5))

series622.0ms

Calls

4 calls:

Slowest

179.0ms	(* (cbrt (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))
150.0ms	(cbrt (* (* -2 (* re im)) 0.5))
149.0ms	(cbrt (* (* -2 (* re im)) 0.5))
144.0ms	(cbrt (* (* -2 (* re im)) 0.5))

simplify3.7s

Calls

31 calls:

Slowest

384.0ms	(* (* (* -2 (* re im)) 0.5) (* (* -2 (* re im)) 0.5))
328.0ms	(* (* (* -2 (* re im)) 0.5) (* (* -2 (* re im)) 0.5))
276.0ms	(* (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re))))) (cbrt -1.0))
254.0ms	(* (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im))))) (cbrt -1.0))
254.0ms	(* (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re))))) (cbrt -1.0))

prune639.0ms

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 30.0b

regimes552.0ms

Accuracy

23.2% (2.2b remaining)

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

bsearch113.0ms

end0.0ms

sample13.0s

Algorithm

intervals

Results

6.4s	4741×	body	1280	valid
3.5s	3790×	body	640	valid
1.3s	4502×	body	80	valid
1.0s	1953×	body	320	valid
457.0ms	988×	body	160	valid