Details

Time bar (total: 40.9s)

sample342.0ms

Algorithm
intervals
Results
180.0ms147×body1280valid
89.0ms122×body640valid
24.0ms57×body320valid
19.0ms150×body80valid
8.0ms33×body160valid

simplify175.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 43.3b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt *-un-lft-identity
5×associate-*r*
4×pow1 add-cbrt-cube add-exp-log add-log-exp
3×sub-neg add-cube-cbrt
2×distribute-rgt-in distribute-lft-in flip3-- associate-*r/ insert-posit16 flip-- distribute-lft-out-- difference-of-squares
1×diff-log associate-*l* pow-prod-down prod-exp *-commutative cbrt-unprod
Calls
2 calls:
Slowest
30.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
8.0ms
(- (exp (- im)) (exp im))

series148.0ms

Calls
2 calls:
Slowest
88.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
60.0ms
(- (exp (- im)) (exp im))

simplify1.8s

Calls
24 calls:
Slowest
222.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
211.0ms
(* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im))))
208.0ms
(* 0.5 (* (sin re) (- (exp (- im)) (exp im))))
201.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
197.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im))))

prune454.0ms

Pruning

2 alts after pruning (2 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
(* im (* im -1/3))
0.1b
(* (* 0.5 (sin re)) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
0.0b
(* (pow im 5) -1/60)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×associate-*r* associate-*l* *-commutative insert-posit16 add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- pow-prod-down prod-exp cbrt-unprod flip--
Calls
4 calls:
Slowest
18.0ms
(* (* 0.5 (sin re)) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
2.0ms
(* (pow im 5) -1/60)
2.0ms
(* im (* im -1/3))
0.0ms
(* im -1/3)

series163.0ms

Calls
4 calls:
Slowest
116.0ms
(* (* 0.5 (sin re)) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
23.0ms
(* (pow im 5) -1/60)
14.0ms
(* im (* im -1/3))
9.0ms
(* im -1/3)

simplify3.7s

Calls
26 calls:
Slowest
463.0ms
(* (* 0.5 (sin re)) (- (* im (- 2 (* im (* im -1/3))))))
401.0ms
(* (* 0.5 (sin re)) (- (* im (- 2 (* im (* im -1/3))))))
359.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
270.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))))
266.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))

prune796.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
8×pow1 add-cbrt-cube add-exp-log
4×add-sqr-sqrt *-un-lft-identity *-commutative add-cube-cbrt insert-posit16 add-log-exp
3×associate-*l*
2×associate-*r* pow-prod-down associate-*l/ prod-exp associate-*r/ cbrt-unprod
1×flip3-+ flip-+
Calls
4 calls:
Slowest
34.0ms
(* (* 0.5 (sin re)) (* (+ (* (* im -1/3) im) -2) im))
9.0ms
(* (* (pow im 5) -1/60) (* 0.5 (sin re)))
5.0ms
(* (* im -1/3) im)
0.0ms
(* im -1/3)

series205.0ms

Calls
4 calls:
Slowest
123.0ms
(* (* 0.5 (sin re)) (* (+ (* (* im -1/3) im) -2) im))
64.0ms
(* (* (pow im 5) -1/60) (* 0.5 (sin re)))
11.0ms
(* (* im -1/3) im)
7.0ms
(* im -1/3)

simplify2.1s

Calls
22 calls:
Slowest
345.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 1.0 (* (sin re) im))))
344.0ms
(+ (* (* (* im -1/3) im) (* (* im -1/3) im)) (- (* -2 -2) (* (* (* im -1/3) im) -2)))
335.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 1.0 (* (sin re) im))))
262.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (* (+ (* (* im -1/3) im) -2) im) (* (+ (* (* im -1/3) im) -2) im)) (* (+ (* (* im -1/3) im) -2) im)))
218.0ms
(* (* 0.5 (sin re)) (* (+ (* (* im -1/3) im) -2) im))

prune838.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
0.7b
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
0.7b
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
0.5b
(* (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))) (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 flip3-- flip--
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
29.0ms
(* (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))) (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))))
3.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
3.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
3.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))

series651.0ms

Calls
4 calls:
Slowest
182.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
171.0ms
(* (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))) (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3)))))))
162.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
135.0ms
(cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))

simplify15.7s

Calls
59 calls:
Slowest
709.0ms
(* (cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3))) (cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3))))
628.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
626.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
612.0ms
(cbrt (- (pow (* (pow im 5) -1/60) 3) (pow (* im (- 2 (* im (* im -1/3)))) 3)))
598.0ms
(+ (log (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))) (log (cbrt (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))))

prune1.5s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes368.0ms

Accuracy

0% (0.7b remaining)

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

bsearch3.0ms

end0.0ms

sample11.8s

Algorithm
intervals
Results
6.3s4797×body1280valid
2.8s3807×body640valid
1.2s1818×body320valid
836.0ms4476×body80valid
336.0ms963×body160valid