Details

Time bar (total: 24.0s)

sample236.0ms

Algorithm
intervals
Results
59.0ms256×pre80true
39.0ms48×body1280valid
27.0ms47×body640valid
19.0ms131×body80valid
8.0ms20×body320valid
3.0ms10×body160valid

simplify515.0ms

Calls
1 calls:
Slowest
514.0ms
(/ (* e (sin v)) (+ 1 (* e (cos v))))

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (/ e (fma (cos v) e 1)) (sin v))
0.0b
(/ e (fma (cos v) e 1))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube associate-*l* add-exp-log
3×associate-/r* associate-*r*
2×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
1×clear-num frac-2neg pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod
Calls
2 calls:
Slowest
6.0ms
(* (/ e (fma (cos v) e 1)) (sin v))
1.0ms
(/ e (fma (cos v) e 1))

series189.0ms

Calls
2 calls:
Slowest
135.0ms
(* (/ e (fma (cos v) e 1)) (sin v))
53.0ms
(/ e (fma (cos v) e 1))

simplify1.6s

Calls
18 calls:
Slowest
307.0ms
(- (+ (* (pow e 3) v) (* e v)) (* (pow e 2) v))
255.0ms
(* (* (* (/ e (fma (cos v) e 1)) (/ e (fma (cos v) e 1))) (/ e (fma (cos v) e 1))) (* (* (sin v) (sin v)) (sin v)))
192.0ms
(- (+ (/ 1 (* (pow e 2) (pow (cos v) 3))) (/ 1 (cos v))) (/ 1 (* e (pow (cos v) 2))))
179.0ms
(- (+ (/ (sin v) (* (pow e 2) (pow (cos v) 3))) (/ (sin v) (cos v))) (/ (sin v) (* e (pow (cos v) 2))))
169.0ms
(- (+ (/ 1 (* (pow e 2) (pow (cos v) 3))) (/ 1 (cos v))) (/ 1 (* e (pow (cos v) 2))))

prune456.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.1b
(* e (* (/ 1 (fma (cos v) e 1)) (sin v)))
0.0b
(* (/ 1 (fma (cos v) e 1)) (sin v))
0.0b
(/ 1 (fma (cos v) e 1))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
8×add-exp-log
6×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
5×add-cbrt-cube
4×associate-*r* associate-*l*
3×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u add-log-exp
2×rec-exp associate-*l/ prod-exp *-commutative div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ cbrt-unprod pow-flip inv-pow
Calls
3 calls:
Slowest
9.0ms
(* e (* (/ 1 (fma (cos v) e 1)) (sin v)))
5.0ms
(* (/ 1 (fma (cos v) e 1)) (sin v))
1.0ms
(/ 1 (fma (cos v) e 1))

series184.0ms

Calls
3 calls:
Slowest
94.0ms
(* e (* (/ 1 (fma (cos v) e 1)) (sin v)))
52.0ms
(* (/ 1 (fma (cos v) e 1)) (sin v))
38.0ms
(/ 1 (fma (cos v) e 1))

simplify2.9s

Calls
25 calls:
Slowest
629.0ms
(* (* (* (/ 1 (fma (cos v) e 1)) (/ 1 (fma (cos v) e 1))) (/ 1 (fma (cos v) e 1))) (* (* (sin v) (sin v)) (sin v)))
317.0ms
(- v (+ (* 1/6 (pow v 3)) (* e v)))
301.0ms
(- (+ (* (pow e 3) v) (* e v)) (* (pow e 2) v))
258.0ms
(- (+ (/ (sin v) (* (pow e 3) (pow (cos v) 3))) (/ (sin v) (* e (cos v)))) (/ (sin v) (* (pow e 2) (pow (cos v) 2))))
243.0ms
(- (+ (/ 1 (* e (cos v))) (/ 1 (* (pow e 3) (pow (cos v) 3)))) (/ 1 (* (pow e 2) (pow (cos v) 2))))

prune659.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(* e (* (/ (/ 1 (* (cbrt (fma (cos v) e 1)) (cbrt (fma (cos v) e 1)))) (cbrt (fma (cos v) e 1))) (sin v)))
0.0b
(* (cbrt (fma (cos v) e 1)) (cbrt (fma (cos v) e 1)))
0.0b
(cbrt (fma (cos v) e 1))
0.0b
(cbrt (fma (cos v) e 1))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1
7×associate-*r*
6×pow1/3 associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down *-commutative pow-prod-up
1×pow2 pow-plus associate-*l/ prod-exp associate-*r/ cbrt-unprod
Calls
4 calls:
Slowest
10.0ms
(* e (* (/ (/ 1 (* (cbrt (fma (cos v) e 1)) (cbrt (fma (cos v) e 1)))) (cbrt (fma (cos v) e 1))) (sin v)))
9.0ms
(* (cbrt (fma (cos v) e 1)) (cbrt (fma (cos v) e 1)))
1.0ms
(cbrt (fma (cos v) e 1))
1.0ms
(cbrt (fma (cos v) e 1))

series314.0ms

Calls
4 calls:
Slowest
87.0ms
(* (cbrt (fma (cos v) e 1)) (cbrt (fma (cos v) e 1)))
82.0ms
(* e (* (/ (/ 1 (* (cbrt (fma (cos v) e 1)) (cbrt (fma (cos v) e 1)))) (cbrt (fma (cos v) e 1))) (sin v)))
75.0ms
(cbrt (fma (cos v) e 1))
70.0ms
(cbrt (fma (cos v) e 1))

simplify3.9s

Calls
40 calls:
Slowest
464.0ms
(- (+ (exp (* 1/3 (- (log (pow (cos v) 2)) (* 2 (log (/ 1 e)))))) (* 2/3 (/ (exp (* 1/3 (- (log (pow (cos v) 2)) (* 2 (log (/ 1 e)))))) (* e (cos v))))) (* 1/9 (/ (exp (* 1/3 (- (log (pow (cos v) 2)) (* 2 (log (/ 1 e)))))) (* (pow e 2) (pow (cos v) 2)))))
439.0ms
(- (+ (* 1/3 (/ (exp (* 1/3 (- (log (- (cos v))) (log (/ -1 e))))) (* e (cos v)))) (exp (* 1/3 (- (log (- (cos v))) (log (/ -1 e)))))) (* 1/9 (/ (exp (* 1/3 (- (log (- (cos v))) (log (/ -1 e))))) (* (pow e 2) (pow (cos v) 2)))))
420.0ms
(- (+ (* 1/3 (/ (exp (* 1/3 (- (log (- (cos v))) (log (/ -1 e))))) (* e (cos v)))) (exp (* 1/3 (- (log (- (cos v))) (log (/ -1 e)))))) (* 1/9 (/ (exp (* 1/3 (- (log (- (cos v))) (log (/ -1 e))))) (* (pow e 2) (pow (cos v) 2)))))
373.0ms
(- (+ (exp (* 1/3 (- (log (cos v)) (log (/ 1 e))))) (* 1/3 (/ (exp (* 1/3 (- (log (cos v)) (log (/ 1 e))))) (* (cos v) e)))) (* 1/9 (/ (exp (* 1/3 (- (log (cos v)) (log (/ 1 e))))) (* (pow (cos v) 2) (pow e 2)))))
321.0ms
(- (+ (exp (* 1/3 (- (log (cos v)) (log (/ 1 e))))) (* 1/3 (/ (exp (* 1/3 (- (log (cos v)) (log (/ 1 e))))) (* (cos v) e)))) (* 1/9 (/ (exp (* 1/3 (- (log (cos v)) (log (/ 1 e))))) (* (pow (cos v) 2) (pow e 2)))))

prune1.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b
(log1p (expm1 (* (/ 1 (fma (cos v) e 1)) (sin v))))
0.1b
(expm1 (* (/ 1 (fma (cos v) e 1)) (sin v)))
0.1b
(* e (log1p (expm1 (* (/ 1 (fma (cos v) e 1)) (sin v)))))
0.0b
(* (/ 1 (fma (cos v) e 1)) (sin v))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
8×add-exp-log
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube associate-*r*
5×log1p-expm1-u
4×expm1-log1p-u associate-*l* insert-posit16 add-log-exp
2×prod-exp *-commutative
1×rec-exp log1p-udef expm1-log1p pow-prod-down associate-*l/ log1p-expm1 cbrt-unprod div-inv expm1-udef
Calls
4 calls:
Slowest
7.0ms
(* (/ 1 (fma (cos v) e 1)) (sin v))
3.0ms
(* e (log1p (expm1 (* (/ 1 (fma (cos v) e 1)) (sin v)))))
1.0ms
(expm1 (* (/ 1 (fma (cos v) e 1)) (sin v)))
0.0ms
(log1p (expm1 (* (/ 1 (fma (cos v) e 1)) (sin v))))

series370.0ms

Calls
4 calls:
Slowest
150.0ms
(* e (log1p (expm1 (* (/ 1 (fma (cos v) e 1)) (sin v)))))
104.0ms
(log1p (expm1 (* (/ 1 (fma (cos v) e 1)) (sin v))))
76.0ms
(expm1 (* (/ 1 (fma (cos v) e 1)) (sin v)))
39.0ms
(* (/ 1 (fma (cos v) e 1)) (sin v))

simplify4.7s

Calls
27 calls:
Slowest
798.0ms
(* (* (* (/ 1 (fma (cos v) e 1)) (/ 1 (fma (cos v) e 1))) (/ 1 (fma (cos v) e 1))) (* (* (sin v) (sin v)) (sin v)))
518.0ms
(- (+ (* 1/6 (/ (pow (sin v) 3) (* (pow e 3) (pow (cos v) 3)))) (+ (/ (sin v) (* (pow e 3) (pow (cos v) 3))) (+ (/ (sin v) (* e (cos v))) (* 1/2 (/ (pow (sin v) 2) (* (pow e 2) (pow (cos v) 2))))))) (+ (/ (pow (sin v) 2) (* (pow e 3) (pow (cos v) 3))) (/ (sin v) (* (pow e 2) (pow (cos v) 2)))))
456.0ms
(- (+ (* 1/6 (/ (pow (sin v) 3) (* (pow e 3) (pow (cos v) 3)))) (+ (/ (sin v) (* (pow e 3) (pow (cos v) 3))) (+ (/ (sin v) (* e (cos v))) (* 1/2 (/ (pow (sin v) 2) (* (pow e 2) (pow (cos v) 2))))))) (+ (/ (pow (sin v) 2) (* (pow e 3) (pow (cos v) 3))) (/ (sin v) (* (pow e 2) (pow (cos v) 2)))))
341.0ms
(- v (+ (* 1/6 (pow v 3)) (* e v)))
311.0ms
(- (+ (/ (sin v) (* (pow e 3) (pow (cos v) 3))) (/ (sin v) (* e (cos v)))) (/ (sin v) (* (pow e 2) (pow (cos v) 2))))

prune689.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes159.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample5.8s

Algorithm
intervals
Results
2.5s1504×body1280valid
1.1s1265×body640valid
957.0ms653×body320valid
717.0ms4271×body80valid
293.0ms8000×pre80true
107.0ms307×body160valid