Details

Time bar (total: 7.4m)

sample280.0ms

Algorithm
intervals
Results
132.0ms53×body1280valid
53.0ms41×body640valid
46.0ms155×body80valid
23.0ms24×body320valid
9.0ms14×body160valid

simplify112.0ms

Calls
1 calls:
Slowest
112.0ms
(+ (- (* x (/ 1 (tan B)))) (/ 1 (sin B)))

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 3 expressions with local error:

0.2b
(/ x (tan B))
0.2b
(/ 1 (sin B))
0.0b
(- (/ 1 (sin B)) (/ x (tan B)))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
279×times-frac
268×add-sqr-sqrt
260×*-un-lft-identity
251×add-cube-cbrt
182×prod-diff
81×frac-sub
60×associate-/r* associate-/l*
31×div-inv
20×clear-num frac-2neg
14×tan-quot associate-/r/
13×fma-neg
9×add-exp-log
7×add-cbrt-cube
6×difference-of-squares
5×add-log-exp
4×pow1
3×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u distribute-lft-out--
2×cbrt-undiv
1×rec-exp sub-neg flip3-- diff-log 1-exp pow-flip flip-- inv-pow
Calls
3 calls:
Slowest
61.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
10.0ms
(/ 1 (sin B))
10.0ms
(/ x (tan B))

series343.0ms

Calls
3 calls:
Slowest
192.0ms
(/ x (tan B))
137.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
14.0ms
(/ 1 (sin B))

simplify1.4m

Calls
616 calls:
Slowest
1.0s
(fma (/ (sqrt 1) 1) (/ (sqrt 1) (sin B)) (- (* (/ x (cbrt (tan B))) (/ 1 (* (cbrt (tan B)) (cbrt (tan B)))))))
743.0ms
(fma (- (/ (cbrt x) (cbrt (tan B)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (tan B)) (cbrt (tan B)))) (* (/ (cbrt x) (cbrt (tan B))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (tan B)) (cbrt (tan B))))))
736.0ms
(- (* (* (cbrt 1) (cbrt 1)) (cbrt (tan B))) (* (/ (sin B) (cbrt 1)) (/ x (* (cbrt (tan B)) (cbrt (tan B))))))
666.0ms
(fma (* (cbrt (/ 1 (sin B))) (cbrt (/ 1 (sin B)))) (cbrt (/ 1 (sin B))) (- (* (/ x (cbrt (tan B))) (/ 1 (* (cbrt (tan B)) (cbrt (tan B)))))))
587.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin B))) (/ (cbrt 1) (sqrt (sin B))) (- (* (/ x (cbrt (tan B))) (/ 1 (* (cbrt (tan B)) (cbrt (tan B)))))))

prune3.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ x (sin B)) (cos B))
0.2b
(/ 1 (sin B))
0.1b
(/ x (sin B))
0.0b
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
455×add-sqr-sqrt
389×times-frac
372×*-un-lft-identity
355×add-cube-cbrt
299×prod-diff
187×associate-*l*
97×associate-*l/
81×frac-sub
71×associate-/r*
63×associate-/l*
42×associate-*r* div-inv
34×unswap-sqr
23×frac-2neg
21×clear-num
15×add-exp-log
14×*-commutative
13×add-cbrt-cube fma-neg
9×difference-of-squares
7×pow1 distribute-lft-out-- sub-div
6×add-log-exp
4×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u
3×cbrt-undiv
2×prod-exp cbrt-unprod
1×rec-exp sub-neg flip3-- diff-log 1-exp pow-prod-down pow-flip flip-- inv-pow
Calls
4 calls:
Slowest
100.0ms
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
30.0ms
(* (/ x (sin B)) (cos B))
11.0ms
(/ 1 (sin B))
9.0ms
(/ x (sin B))

series399.0ms

Calls
4 calls:
Slowest
182.0ms
(* (/ x (sin B)) (cos B))
130.0ms
(- (/ 1 (sin B)) (* (/ x (sin B)) (cos B)))
62.0ms
(/ x (sin B))
25.0ms
(/ 1 (sin B))

simplify2.7m

Calls
910 calls:
Slowest
986.0ms
(- (* (* (cbrt 1) (cbrt 1)) (- (sin B))) (* (/ (sin B) (cbrt 1)) (* (- x) (cos B))))
844.0ms
(fma (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ 1 (cbrt (sin B))) (- (* (cbrt (cos B)) (* (/ x (sin B)) (* (cbrt (cos B)) (cbrt (cos B)))))))
709.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1) (cbrt (sin B))) (- (* (* (/ x (cbrt (sin B))) (cos B)) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))))))
656.0ms
(fma 1 (/ 1 (sin B)) (- (* (* (/ (cbrt x) (sin B)) (cos B)) (/ (* (cbrt x) (cbrt x)) 1))))
654.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1) (cbrt (sin B))) (- (* (cbrt (cos B)) (* (/ x (sin B)) (* (cbrt (cos B)) (cbrt (cos B)))))))

prune5.9s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ (- 1 (* x (cos B))) (sin B))
0.1b
(* x (cos B))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
42×*-un-lft-identity
27×times-frac
18×add-cube-cbrt
16×difference-of-squares
9×associate-/l* unswap-sqr
8×distribute-lft-out--
7×associate-*l*
6×add-cbrt-cube add-exp-log
4×pow1
3×associate-/r* associate-*r*
2×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv flip--
Calls
2 calls:
Slowest
52.0ms
(/ (- 1 (* x (cos B))) (sin B))
7.0ms
(* x (cos B))

series157.0ms

Calls
2 calls:
Slowest
93.0ms
(/ (- 1 (* x (cos B))) (sin B))
64.0ms
(* x (cos B))

simplify4.0s

Calls
84 calls:
Slowest
343.0ms
(/ (* (* (- 1 (* x (cos B))) (- 1 (* x (cos B)))) (- 1 (* x (cos B)))) (* (* (sin B) (sin B)) (sin B)))
303.0ms
(* (* (* x x) x) (* (* (cos B) (cos B)) (cos B)))
243.0ms
(- (pow 1 3) (pow (* x (cos B)) 3))
140.0ms
(/ (- (sqrt 1) (* (sqrt x) (sqrt (cos B)))) (cbrt (sin B)))
119.0ms
(/ (- 1 (* x (cos B))) (cbrt (sin B)))

prune763.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (cos B) (sin B)) x)
0.2b
(/ (cos B) (sin B))
0.2b
(/ 1 (sin B))
0.0b
(- (/ 1 (sin B)) (* (/ (cos B) (sin B)) x))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
455×add-sqr-sqrt
389×times-frac
372×*-un-lft-identity
355×add-cube-cbrt
299×prod-diff
187×associate-*l*
97×associate-*l/
81×frac-sub
71×associate-/r*
63×associate-/l*
42×associate-*r* div-inv
34×unswap-sqr
23×frac-2neg
21×clear-num
15×add-exp-log
14×*-commutative
13×add-cbrt-cube fma-neg
9×difference-of-squares
7×pow1 distribute-lft-out-- sub-div
6×add-log-exp
4×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u
3×cbrt-undiv
2×prod-exp cbrt-unprod
1×rec-exp sub-neg flip3-- diff-log 1-exp pow-prod-down pow-flip flip-- inv-pow
Calls
4 calls:
Slowest
69.0ms
(- (/ 1 (sin B)) (* (/ (cos B) (sin B)) x))
16.0ms
(* (/ (cos B) (sin B)) x)
12.0ms
(/ (cos B) (sin B))
5.0ms
(/ 1 (sin B))

series292.0ms

Calls
4 calls:
Slowest
147.0ms
(- (/ 1 (sin B)) (* (/ (cos B) (sin B)) x))
99.0ms
(* (/ (cos B) (sin B)) x)
25.0ms
(/ 1 (sin B))
22.0ms
(/ (cos B) (sin B))

simplify2.7m

Calls
910 calls:
Slowest
894.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sin B)) (- (* (* (/ (sqrt (cos B)) (sqrt (sin B))) (sqrt x)) (* (/ (sqrt (cos B)) (sqrt (sin B))) (sqrt x)))))
759.0ms
(fma (/ (sqrt 1) 1) (/ (sqrt 1) (sin B)) (- (* (* (/ (sqrt (cos B)) (sqrt (sin B))) (sqrt x)) (* (/ (sqrt (cos B)) (sqrt (sin B))) (sqrt x)))))
634.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (cbrt 1) (cbrt (sin B))) (- (* (* (/ (cos B) (cbrt (sin B))) x) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))))))
621.0ms
(- (* 1 (/ (sin B) (cbrt (cos B)))) (* (/ (sin B) 1) (* (* (cbrt (cos B)) (cbrt (cos B))) x)))
616.0ms
(fma (/ (sqrt 1) (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt 1) (cbrt (sin B))) (- (* (* (/ (cos B) (cbrt (sin B))) x) (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))))))

prune6.0s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

regimes160.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample8.7s

Algorithm
intervals
Results
3.0s1741×body1280valid
2.3s1494×body640valid
1.4s4838×body80valid
1.2s706×body320valid
667.0ms373×body160valid