Details

Time bar (total: 1.3m)

sample485.0ms

Algorithm
intervals
Results
271.0ms123×body1280valid
86.0ms70×body640valid
53.0ms17×body320valid
31.0ms256×pre80true
9.0ms35×body80valid
6.0ms11×body160valid

simplify71.0ms

Calls
1 calls:
Slowest
70.0ms
(+ x (- (tan (+ y z)) (tan a)))

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.0b

localize20.0ms

Local error

Found 3 expressions with local error:

3.1b
(tan (+ y z))
0.2b
(- (tan (+ y z)) (tan a))
0.1b
(+ x (- (tan (+ y z)) (tan a)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity add-log-exp
5×add-sqr-sqrt tan-quot
4×tan-sum
3×pow1 +-commutative add-cbrt-cube add-exp-log frac-sub add-cube-cbrt insert-posit16
2×associate-+r+ sum-log sub-neg diff-log distribute-lft-out distribute-lft-out--
1×associate-+r- flip3-+ flip3-- flip-+ flip-- difference-of-squares
Calls
3 calls:
Slowest
27.0ms
(- (tan (+ y z)) (tan a))
22.0ms
(+ x (- (tan (+ y z)) (tan a)))
13.0ms
(tan (+ y z))

series443.0ms

Calls
3 calls:
Slowest
182.0ms
(+ x (- (tan (+ y z)) (tan a)))
171.0ms
(- (tan (+ y z)) (tan a))
90.0ms
(tan (+ y z))

simplify2.1s

Calls
28 calls:
Slowest
468.0ms
(- (* (+ (tan z) (tan y)) (cos a)) (* (- 1 (* (tan z) (tan y))) (sin a)))
427.0ms
(- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a)))
144.0ms
(* (exp x) (exp (- (tan (+ y z)) (tan a))))
137.0ms
(* (- 1 (* (tan y) (tan z))) (cos a))
133.0ms
(+ (* 1/3 (pow y 3)) (+ z y))

prune779.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize57.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (tan y) (tan z))
0.2b
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
0.1b
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
0.1b
(+ (tan y) (tan z))

rewrite300.0ms

Algorithm
rewrite-expression-head
Rules
85×*-un-lft-identity
78×add-sqr-sqrt
37×times-frac
29×tan-quot
26×difference-of-squares
23×add-cube-cbrt
19×frac-sub
18×associate-/r*
13×distribute-lft-out-- unswap-sqr
12×distribute-lft-out
9×associate-*l*
8×add-cbrt-cube add-exp-log associate-/l* add-log-exp
6×pow1 associate-/l/
4×insert-posit16
3×flip3-+ associate-*r* frac-add flip-+
2×clear-num frac-2neg flip3-- associate-/r/ flip--
1×frac-times cbrt-undiv +-commutative sum-log sub-neg diff-log div-exp pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod div-inv
Calls
4 calls:
Slowest
223.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
40.0ms
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
26.0ms
(* (tan y) (tan z))
7.0ms
(+ (tan y) (tan z))

series1.2s

Calls
4 calls:
Slowest
584.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
383.0ms
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
148.0ms
(* (tan y) (tan z))
116.0ms
(+ (tan y) (tan z))

simplify16.6s

Calls
164 calls:
Slowest
543.0ms
(/ (* (* (+ (tan y) (tan z)) (+ (tan y) (tan z))) (+ (tan y) (tan z))) (* (* (- 1 (* (tan y) (tan z))) (- 1 (* (tan y) (tan z)))) (- 1 (* (tan y) (tan z)))))
524.0ms
(- (* (/ (+ (tan y) (tan z)) 1) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a)))
515.0ms
(- (* (/ (+ (tan y) (tan z)) 1) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a)))
489.0ms
(- (* (/ (+ (tan y) (tan z)) 1) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a)))
478.0ms
(- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a)))

prune2.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize64.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (tan y) (tan z)) (* (tan y) (tan z)))
0.3b
(* (tan y) (tan z))
0.3b
(* (tan y) (tan z))
0.3b
(* (tan y) (tan z))

rewrite214.0ms

Algorithm
rewrite-expression-head
Rules
49×pow1
48×add-sqr-sqrt
44×tan-quot
35×associate-*l*
33×associate-*r*
26×*-un-lft-identity
22×add-cbrt-cube add-exp-log add-cube-cbrt
20×frac-times pow-prod-down
15×unswap-sqr
14×swap-sqr associate-*l/ associate-*r/
11×prod-exp cbrt-unprod
8×*-commutative
4×pow-sqr pow-prod-up insert-posit16 add-log-exp
2×pow-plus
1×pow2
Calls
4 calls:
Slowest
126.0ms
(* (* (tan y) (tan z)) (* (tan y) (tan z)))
28.0ms
(* (tan y) (tan z))
28.0ms
(* (tan y) (tan z))
27.0ms
(* (tan y) (tan z))

series671.0ms

Calls
4 calls:
Slowest
200.0ms
(* (* (tan y) (tan z)) (* (tan y) (tan z)))
163.0ms
(* (tan y) (tan z))
157.0ms
(* (tan y) (tan z))
151.0ms
(* (tan y) (tan z))

simplify7.0s

Calls
166 calls:
Slowest
889.0ms
(* (* (* (* (tan y) (tan y)) (tan y)) (* (* (tan z) (tan z)) (tan z))) (* (* (* (tan y) (tan y)) (tan y)) (* (* (tan z) (tan z)) (tan z))))
657.0ms
(* (* (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* (tan y) (tan z))) (* (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* (tan y) (tan z))))
456.0ms
(+ (* 2/3 (* (pow z 2) (pow y 4))) (+ (* 2/3 (* (pow z 4) (pow y 2))) (* (pow z 2) (pow y 2))))
327.0ms
(* (* (* (tan y) (tan y)) (tan y)) (* (* (tan z) (tan z)) (tan z)))
318.0ms
(* (* (* (tan y) (tan y)) (tan y)) (* (* (tan z) (tan z)) (tan z)))

prune2.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize70.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (tan y) (tan z)) (/ (* (sin y) (tan z)) (cos y)))
0.3b
(* (tan y) (tan z))
0.3b
(* (tan y) (tan z))
0.2b
(* (sin y) (tan z))

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
94×add-sqr-sqrt
93×tan-quot
79×frac-times
73×associate-*r*
53×*-un-lft-identity
51×add-cube-cbrt
50×associate-/l*
46×associate-*l* associate-*r/
40×times-frac
31×add-cbrt-cube add-exp-log
25×associate-*l/
22×unswap-sqr
15×pow1
14×prod-exp cbrt-unprod
12×associate-/r* *-commutative
6×pow-prod-down
5×clear-num
4×cbrt-undiv frac-2neg div-exp insert-posit16 add-log-exp associate-/l/
3×un-div-inv
1×div-inv
Calls
4 calls:
Slowest
145.0ms
(* (* (tan y) (tan z)) (/ (* (sin y) (tan z)) (cos y)))
29.0ms
(* (tan y) (tan z))
14.0ms
(* (tan y) (tan z))
12.0ms
(* (sin y) (tan z))

series614.0ms

Calls
4 calls:
Slowest
204.0ms
(* (* (tan y) (tan z)) (/ (* (sin y) (tan z)) (cos y)))
141.0ms
(* (tan y) (tan z))
136.0ms
(* (tan y) (tan z))
133.0ms
(* (sin y) (tan z))

simplify19.5s

Calls
266 calls:
Slowest
674.0ms
(* (* (* (* (tan y) (tan y)) (tan y)) (* (* (tan z) (tan z)) (tan z))) (/ (* (* (* (sin y) (sin y)) (sin y)) (* (* (tan z) (tan z)) (tan z))) (* (* (cos y) (cos y)) (cos y))))
599.0ms
(* (* (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* (tan y) (tan z))) (/ (* (* (* (sin y) (tan z)) (* (sin y) (tan z))) (* (sin y) (tan z))) (* (* (cos y) (cos y)) (cos y))))
544.0ms
(* (* (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* (tan y) (tan z))) (/ (* (* (* (sin y) (sin y)) (sin y)) (* (* (tan z) (tan z)) (tan z))) (* (* (cos y) (cos y)) (cos y))))
538.0ms
(* (* (* (* (tan y) (tan y)) (tan y)) (* (* (tan z) (tan z)) (tan z))) (/ (* (* (* (sin y) (tan z)) (* (sin y) (tan z))) (* (sin y) (tan z))) (* (* (cos y) (cos y)) (cos y))))
486.0ms
(+ (* 2/3 (* (pow z 2) (pow y 4))) (+ (* 2/3 (* (pow z 4) (pow y 2))) (* (pow z 2) (pow y 2))))

prune4.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

regimes1.0s

Accuracy

0% (0.1b remaining)

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

bsearch6.0ms

end0.0ms

sample14.9s

Algorithm
intervals
Results
9.8s3983×body1280valid
2.5s1989×body640valid
994.0ms8000×pre80true
609.0ms669×body320valid
362.0ms1070×body80valid
174.0ms289×body160valid