Details

Time bar (total: 4.4m)

sample210.0ms

Algorithm
intervals
Results
99.0ms58×body1280valid
49.0ms48×body640valid
32.0ms145×body80valid
12.0ms19×body320valid
6.0ms11×body160valid

simplify104.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 3 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-sub
72×add-sqr-sqrt
64×*-un-lft-identity
60×associate-/r* associate-/l*
55×add-cube-cbrt
27×times-frac
20×clear-num frac-2neg
9×add-exp-log
7×add-cbrt-cube
6×difference-of-squares
5×add-log-exp
4×pow1
3×div-exp insert-posit16 div-inv distribute-lft-out--
2×cbrt-undiv
1×rec-exp sub-neg flip3-- diff-log 1-exp tan-quot associate-/r/ pow-flip flip-- inv-pow
Calls
3 calls:
Slowest
22.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
8.0ms
(/ x (tan B))
5.0ms
(/ 1 (sin B))

series317.0ms

Calls
3 calls:
Slowest
151.0ms
(- (/ 1 (sin B)) (/ x (tan B)))
141.0ms
(/ x (tan B))
25.0ms
(/ 1 (sin B))

simplify16.7s

Calls
241 calls:
Slowest
773.0ms
(- (* (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (cbrt (tan B))) (* (cbrt (sin B)) (/ x (* (cbrt (tan B)) (cbrt (tan B))))))
530.0ms
(- (* (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ (tan B) x)) (* (cbrt (sin B)) 1))
415.0ms
(- (* (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ (tan B) x)) (* (cbrt (sin B)) 1))
383.0ms
(- (* (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ (tan B) (cbrt x))) (* (cbrt (sin B)) (* (cbrt x) (cbrt x))))
379.0ms
(- (* (* (cbrt 1) (cbrt 1)) (cbrt (tan B))) (* (/ (sin B) (cbrt 1)) (/ x (* (cbrt (tan B)) (cbrt (tan B))))))

prune1.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 1 (/ (tan B) x))
0.1b
(/ (tan B) x)
0.1b
(/ 1 (sin B))
0.0b
(- (/ 1 (sin B)) (/ 1 (/ (tan B) x)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
223×add-sqr-sqrt
210×times-frac
203×*-un-lft-identity
196×associate-/r*
176×add-cube-cbrt
171×frac-sub
98×associate-/l*
34×clear-num
32×frac-2neg
21×add-exp-log
20×div-inv
15×difference-of-squares
13×add-cbrt-cube
12×associate-/r/
10×div-exp
9×distribute-lft-out--
6×pow1 add-log-exp
5×cbrt-undiv
4×insert-posit16
3×rec-exp 1-exp
2×tan-quot pow-flip remove-double-div inv-pow associate-/l/
1×sub-neg flip3-- diff-log flip--
Calls
4 calls:
Slowest
54.0ms
(- (/ 1 (sin B)) (/ 1 (/ (tan B) x)))
10.0ms
(/ 1 (/ (tan B) x))
6.0ms
(/ (tan B) x)
5.0ms
(/ 1 (sin B))

series347.0ms

Calls
4 calls:
Slowest
138.0ms
(- (/ 1 (sin B)) (/ 1 (/ (tan B) x)))
116.0ms
(/ 1 (/ (tan B) x))
78.0ms
(/ (tan B) x)
15.0ms
(/ 1 (sin B))

simplify1.0m

Calls
561 calls:
Slowest
958.0ms
(- (* (- 1) (/ (tan B) (sqrt x))) (* (- (sin B)) (/ 1 (/ 1 (sqrt x)))))
906.0ms
(- (* (/ 1 (sqrt (sin B))) (- (/ (tan B) x))) (* (sqrt (sin B)) (- 1)))
833.0ms
(- (* (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (/ (sqrt (tan B)) x)) (* (cbrt (sin B)) (/ 1 (/ (sqrt (tan B)) 1))))
679.0ms
(- (* (/ 1 (* (cbrt (sin B)) (cbrt (sin B)))) (- (/ (tan B) x))) (* (cbrt (sin B)) (- 1)))
650.0ms
(- (* (/ 1 1) (/ (sqrt (tan B)) (cbrt x))) (* (sin B) (/ 1 (/ (sqrt (tan B)) (* (cbrt x) (cbrt x))))))

prune3.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite174.0ms

Algorithm
rewrite-expression-head
Rules
778×add-sqr-sqrt
685×times-frac
488×*-un-lft-identity
238×add-cube-cbrt
182×associate-*r*
162×frac-sub
156×difference-of-squares
141×associate-/r*
131×associate-/l*
83×associate-/l/
78×distribute-lft-out--
42×clear-num associate-*l* div-inv unswap-sqr
40×frac-2neg
30×add-exp-log
20×add-cbrt-cube
18×associate-*r/
14×*-commutative
13×associate-/r/
10×div-exp
8×prod-exp
6×pow1 cbrt-undiv un-div-inv add-log-exp
4×cbrt-unprod insert-posit16
2×rec-exp flip3-- 1-exp flip--
1×sub-neg diff-log div-sub pow-prod-down tan-quot
Calls
4 calls:
Slowest
101.0ms
(/ (- (/ 1 x) (/ (sin B) (tan B))) (* (sin B) (/ 1 x)))
19.0ms
(- (/ 1 x) (/ (sin B) (tan B)))
15.0ms
(* (sin B) (/ 1 x))
14.0ms
(/ (sin B) (tan B))

series408.0ms

Calls
4 calls:
Slowest
185.0ms
(/ (- (/ 1 x) (/ (sin B) (tan B))) (* (sin B) (/ 1 x)))
109.0ms
(- (/ 1 x) (/ (sin B) (tan B)))
62.0ms
(/ (sin B) (tan B))
52.0ms
(* (sin B) (/ 1 x))

simplify1.9m

Calls
964 calls:
Slowest
1.6s
(/ (- (/ (sqrt 1) (sqrt x)) (/ (sqrt (sin B)) (sqrt (tan B)))) (* (sqrt (sin B)) (/ 1 (sqrt x))))
1.4s
(/ (- (/ 1 x) (/ (sin B) (tan B))) (* (sin B) (/ 1 x)))
1.2s
(/ (- (/ 1 x) (/ (sin B) (tan B))) (* (sin B) (/ 1 x)))
1.1s
(/ (- (/ 1 x) (/ (sin B) (tan B))) (* (sin B) (/ 1 x)))
1.0s
(/ (- (/ 1 x) (/ (sin B) (tan B))) (* (sin B) (/ 1 x)))

prune7.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sin B) (/ 1 x)) (* x (/ (tan B) (sin B))))
0.3b
(* (sin B) (/ 1 x))
0.2b
(/ (tan B) (sin B))
0.2b
(/ (tan B) (sin B))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
268×associate-*r/
167×add-sqr-sqrt
144×frac-times
132×*-un-lft-identity
114×associate-/l*
100×add-cube-cbrt
87×associate-/r*
77×add-exp-log
68×un-div-inv
62×associate-*r*
60×times-frac
56×clear-num
49×add-cbrt-cube
41×prod-exp
37×unswap-sqr
33×associate-*l*
29×frac-2neg
23×cbrt-unprod
18×pow1
15×div-exp tan-quot associate-/l/
12×associate-*l/
9×cbrt-undiv pow-prod-down
5×div-inv
4×rec-exp 1-exp *-commutative insert-posit16 add-log-exp
Calls
4 calls:
Slowest
126.0ms
(* (* (sin B) (/ 1 x)) (* x (/ (tan B) (sin B))))
16.0ms
(* (sin B) (/ 1 x))
6.0ms
(/ (tan B) (sin B))
6.0ms
(/ (tan B) (sin B))

series197.0ms

Calls
4 calls:
Slowest
60.0ms
(* (* (sin B) (/ 1 x)) (* x (/ (tan B) (sin B))))
53.0ms
(/ (tan B) (sin B))
50.0ms
(/ (tan B) (sin B))
34.0ms
(* (sin B) (/ 1 x))

simplify46.4s

Calls
509 calls:
Slowest
770.0ms
(* (* (sqrt (sin B)) (/ (sqrt 1) (sqrt x))) (* (sqrt x) (sqrt (/ (tan B) (sin B)))))
755.0ms
(+ (+ (log (sin B)) (- 0 (log x))) (log (* x (/ (tan B) (sin B)))))
696.0ms
(* (* (sqrt (sin B)) (/ (sqrt 1) (sqrt x))) (* (sqrt x) (sqrt (/ (tan B) (sin B)))))
667.0ms
(+ (+ (log (sin B)) (- (log 1) (log x))) (log (* x (/ (tan B) (sin B)))))
581.0ms
(* (* (* (* (sin B) (sin B)) (sin B)) (/ (* (* 1 1) 1) (* (* x x) x))) (* (* (* x x) x) (/ (* (* (tan B) (tan B)) (tan B)) (* (* (sin B) (sin B)) (sin B)))))

prune3.7s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes91.0ms

Accuracy

0% (0.2b remaining)

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

bsearch1.0ms

end0.0ms

sample8.6s

Algorithm
intervals
Results
3.8s1743×body1280valid
2.2s1376×body640valid
1.4s4959×body80valid
649.0ms691×body320valid
334.0ms359×body160valid